1 results
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 3 / May 2022
- Published online by Cambridge University Press:
- 18 March 2022, pp. 335-366
-
- Article
- Export citation