Completeness for Linear Regular Negation Normal Form Inference Systems.

Reiner Hhnle, Neil V. Murray, Erik Rosenthal

Browse the full ISMIS paper archive.