Proving Finite Satisfiability of Deductive Databases.

Franois Bry, Rainer Manthey

Browse the full CSL paper archive.