Model elimination and connection tableau procedures (2001)

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