1 results
A simple correctness proof for magic transformation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 04 March 2011, pp. 929-936
-
- Article
- Export citation