Germán Puebla, Elvira Albert, Manuel V. Hermenegildo. Efficient local unfolding with ancestor stacks. TPLP, 11(1):1-32, 2011. [doi]
@article{PueblaAH11, title = {Efficient local unfolding with ancestor stacks}, author = {Germán Puebla and Elvira Albert and Manuel V. Hermenegildo}, year = {2011}, doi = {10.1017/S1471068409990263}, url = {http://dx.doi.org/10.1017/S1471068409990263}, researchr = {https://researchr.org/publication/PueblaAH11}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {11}, number = {1}, pages = {1-32}, }