- Search

- Kontakt

Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration

H. Schmidt, W. Kießling, U. Güntzer, R. Bayer
4th Symposium on Logic Programming (SLP 1987).
pp. 234-243, San Francisco, California, USA, Aug. 1987.