Model Elimination and Connection Tableau Procedures (2001)

by R Letz, G Stenz
Venue:Handbook of Automated Reasoning