Graph-based proof procedures for horn clauses

zbMath0718.68069MaRDI QIDQ1188938

Stan Raatz

Publication date: 23 January 1993

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

theorem provingHorn clauseslogic programmingE-unificationE-resolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Graph-based proof procedures for horn clauses