Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang: The Semantics of Gringo and Infinitary Propositional Formulas. KR 2014