Germán Puebla, Elvira Albert, Manuel V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 149-165, Springer, 2004. [doi]
@inproceedings{PueblaAH04,
title = {Efficient Local Unfolding with Ancestor Stacks for Full Prolog},
author = {Germán Puebla and Elvira Albert and Manuel V. Hermenegildo},
year = {2004},
doi = {10.1007/11506676_10},
url = {http://dx.doi.org/10.1007/11506676_10},
tags = {Prolog},
researchr = {https://researchr.org/publication/PueblaAH04},
cites = {0},
citedby = {0},
pages = {149-165},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers},
editor = {Sandro Etalle},
volume = {3573},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26655-0},
}