1 results
The witness properties and the semantics of the Prolog cut
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 18 December 2002, pp. 1-59
-
- Article
- Export citation