Cláudio Silva, Ricardo Rocha, Ricardo Lopes
An External Module for Implementing Linear Tabling in Prolog
ICLP, 2006.
@inproceedings{ICLP-2006-SilvaRL, author = "Cláudio Silva and Ricardo Rocha and Ricardo Lopes", booktitle = "{Proceedings of the 22nd International Conference on Logic Programming}", doi = "10.1007/11799573_35", isbn = "3-540-36635-0", pages = "429--430", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An External Module for Implementing Linear Tabling in Prolog}", volume = 4079, year = 2006, }