Inferring non-suspension conditions for logic programs with dynamic scheduling
- Genaim, S.
- King, A.
ISSN: 1557-945X, 1529-3785
Year of publication: 2008
Volume: 9
Issue: 3
Type: Article
Journal:
ACM Transactions on Computational Logic