Integrity Verification in Knowledge Bases.

Franois Bry, Rainer Manthey, Bern Martens

Browse the full LPAR paper archive.