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

Cached

Download Links

by François Bry , Sunna Torge
Venue:In Proc. 6th European Workshop on Logics in Artificial Intelligence, LNAI
Citations:20 - 4 self