Simplification: A general constraint propagation technique for propositional and modal tableaux (1998)

by F Massacci
Venue:Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oosterwijk, The Netherlands, volume 1397 of LNCS