Jürgen Lehmann A Workbench for Model Elimination (Abstract). 46-48 1992 TABLEAUX db/conf/tableaux/tableaux92.html#Lehmann92