Patrick Doherty, Jonas Kvarnström, Andrzej Szalas. Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). In Loizos Michael, Antonis C. Kakas, editors, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Volume 10021 of Lecture Notes in Computer Science, pages 536-542, 2016. [doi]
Abstract is missing.