Graph-Based Proof Procedures for Horn Clauses Progress in Computer Science and Applied Logic, nr. 10 Autor RAATZ dec 1990 Paperback Preț: 373.87 lei 6-8 săpt.