Juliana Freire, David Scott Warren
Controlling the Search in Tabled Evaluations
ICLP, 1997.
@inproceedings{ILPS-1997-FreireW, author = "Juliana Freire and David Scott Warren", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-63180-6", pages = "409", publisher = "{MIT Press}", title = "{Controlling the Search in Tabled Evaluations}", year = 1997, }