Fabio Massacci. Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. In Harrie C. M. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Volume 1397 of Lecture Notes in Computer Science, pages 217-231, Springer, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.