A Deduction Method Complete for Refutation and Finite Satisfiability (1998)

by F Bry, S Torge
Venue:In Proc. 6th European Workshop on Logics in AI (JELIA), LNAI