Stabler, Edward P. jun. Parsing as non-Horn deduction. (English) Zbl 0809.68080 Artif. Intell. 63, No. 1-2, 225-264 (1993). Reviewer: A. Biela (Katowice) MSC: 68N20 68N17 68T50 × Cite Format Result Cite Review PDF Full Text: DOI
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre Uniform proofs as a foundation for logic programming. (English) Zbl 0721.03037 Ann. Pure Appl. Logic 51, No. 1-2, 125-157 (1991). Reviewer: G.Mints (Tallinn) MSC: 03F05 68N17 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong On renamable Horn and generalized Horn functions. (English) Zbl 0878.68106 Ann. Math. Artif. Intell. 1, No. 1-4, 33-47 (1990). MSC: 68T15 03B05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Minoux, Michel LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation. (English) Zbl 0658.68110 Inf. Process. Lett. 29, No. 1, 1-12 (1988). MSC: 68T15 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Gallier, Jean H.; Raatz, Stan Hornlog: A graph-based interpreter for general Horn clauses. (English) Zbl 0641.68145 J. Logic Program. 4, 119-155 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68T15 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI