1 results
Verifying termination and error-freedom of logic programs with block declarations
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 447-486
-
- Article
- Export citation