Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling
ICLP, 2010.
@article{ICLP-J-2010-GuzmanCW, author = "Pablo Chico de Guzmán and Manuel Carro and David Scott Warren", doi = "10.1017/S1471068410000189", journal = "{Theory and Practice of Logic Programming}", number = "4-6", pages = "401--416", title = "{Swapping evaluation: A memory-scalable solution for answer-on-demand tabling}", volume = 10, year = 2010, }