Title: Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
First published: 1996
Subjects: Horn clauses, Automatic theorem proving
LC classification: QA76.9.A96 S43 1996