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,
}











