TY  - RPRT
TI  - On Equivalence of Infinitary Formulas under the Stable Model Semantics
AU  - Amelia Harrison
AU  - Vladimir Lifschitz
AU  - Miroslaw Truszczynski
PY  - 2014
DO  - 10.1017/s1471068414000088
UR  - https://arxiv.org/abs/1403.6689
ID  - 1403.6689
ER  -