A Deduction Method Complete for Refutation and Finite Satisfiability.

Franois Bry, Sunna Torge

Browse the full JELIA paper archive.