Efficient local unfolding with ancestor stacks
- Puebla, G.
- Albert, E.
- Hermenegildo, M.
ISSN: 1471-0684, 1475-3081
Año de publicación: 2011
Volumen: 11
Número: 1
Páginas: 1-32
Tipo: Artículo
Revista:
Theory and Practice of Logic Programming