TY  - RPRT
TI  - Efficient Local Unfolding with Ancestor Stacks
AU  - G. Puebla
AU  - E. Albert
AU  - M. Hermenegildo
PY  - 2009
UR  - https://arxiv.org/abs/0911.4047
ID  - 0911.4047
ER  -