Hai-Feng Guo, Gopal Gupta
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
ICLP, 2001.
@inproceedings{ICLP-2001-GuoG, author = "Hai-Feng Guo and Gopal Gupta", booktitle = "{Proceedings of the 17th International Conference on Logic Programming}", doi = "10.1007/3-540-45635-X_20", isbn = "3-540-42935-2", pages = "181--196", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives}", volume = 2237, year = 2001, }