Inferring non-suspension conditions for logic programs with dynamic scheduling
- Genaim, S.
- King, A.
ISSN: 1557-945X, 1529-3785
Année de publication: 2008
Volumen: 9
Número: 3
Type: Article
Revue:
ACM Transactions on Computational Logic