Lloyd-Topor completion and general stable models

Vladimir Lifschitz, Fangkai Yang. Lloyd-Topor completion and general stable models. TPLP, 13(4-5):503-515, 2013. [doi]

Abstract

Abstract is missing.