Model elimination and connection tableau procedures (0)

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