1 results
Checking modes of HAL programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 31 October 2005, pp. 623-667
-
- Article
- Export citation