1 results
On equivalence of infinitary formulas under the stable model semantics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 16 May 2014, pp. 18-34
-
- Article
- Export citation