Pablo Chico de Guzmán Manuel Carro David Scott Warren Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling http://arxiv.org/abs/1007.3961 2010 CoRR abs/1007.3961 db/journals/corr/corr1007.html#abs-1007-3961