Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw On equivalence of infinitary formulas under the stable model semantics. (English) Zbl 1379.68070 Theory Pract. Log. Program. 15, No. 1, 18-34 (2015). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{A. Harrison} et al., Theory Pract. Log. Program. 15, No. 1, 18--34 (2015; Zbl 1379.68070) Full Text: DOI arXiv
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). (English) Zbl 1405.68354 Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 387-394 (2013). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Lect. Notes Comput. Sci. 8148, 387--394 (2013; Zbl 1405.68354) Full Text: DOI