Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer
Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration
ICLP, 1987.
@inproceedings{SLP-1987-SchmidtKGB87,
author = "Helmut Schmidt and Werner Kießling and Ulrich Güntzer and Rudolf Bayer",
booktitle = "{Proceedings of the Fourth Symposium on Logic Programming}",
isbn = "0-8186-0799-8",
pages = "234--243",
publisher = "{IEEE-CS}",
title = "{Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration}",
year = 1987,
}