Archives
Romanian Journal of Information Technology and Automatic Control / Vol. 2, No. 2, 1992
Graph-Based Proof Procedures for Horn Clauses
Horia DRĂGAN
Review of Graph-Based Proof Procedures for Horn Clauses, by Stan Roatz (Birkhäuser Publ. House, Boston, 1990)
Keywords:
CITE THIS PAPER AS:
Horia DRĂGAN,
"Graph-Based Proof Procedures for Horn Clauses",
Romanian Journal of Information Technology and Automatic Control,
ISSN 1220-1758,
vol. 2(2),
pp. 77,
1992.