Michael Codish
Efficient Goal Directed Bottom-up Evaluation of Logic Programs
ICLP, 1997.
@inproceedings{ICLP-1997-Codish, author = "Michael Codish", booktitle = "{Proceedings of the 14th International Conference on Logic Programming}", isbn = "0-262-64035-X", pages = "422", publisher = "{MIT Press}", title = "{Efficient Goal Directed Bottom-up Evaluation of Logic Programs}", year = 1997, }