Kowalski, R.




And-or graphs, theorem-proving graphs, and bi-directional search

Classics

See also: Robert Kowalski. 1975. A Proof Procedure Using Connection Graphs. J. ACM 22, 4 (October 1975), 572-595.In B. Meltzer and D. Michie (Eds.), Machine intelligence 7. New York: Wiley, 167-194