1 results
AC-KBO revisited*†
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 2 / March 2016
- Published online by Cambridge University Press:
- 08 June 2015, pp. 163-188
-
- Article
- Export citation