Noriko H. Arai, Alasdair Urquhart. Local Symmetries in Propositional Logic. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Volume 1847 of Lecture Notes in Computer Science, pages 40-51, Springer, 2000.
Abstract is missing.