Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
A Tabling Implementation Based on Variables with Multiple Bindings
ICLP, 2009.
@inproceedings{ICLP-2009-GuzmanCH, author = "Pablo Chico de Guzmán and Manuel Carro and Manuel V. Hermenegildo", booktitle = "{Proceedings of the 25th International Conference on Logic Programming}", doi = "10.1007/978-3-642-02846-5_19", isbn = "978-3-642-02845-8", pages = "190--204", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Tabling Implementation Based on Variables with Multiple Bindings}", volume = 5649, year = 2009, }