Inferring non-suspension conditions for logic programs with dynamic scheduling
- Genaim, S.
- King, A.
ISSN: 1557-945X, 1529-3785
Año de publicación: 2008
Volumen: 9
Número: 3
Tipo: Artículo
Revista:
ACM Transactions on Computational Logic