On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.

Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski

Browse the full LPNMR paper archive.