Zoltán Ésik, Panos Rondogiannis. Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. In Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Volume 8652 of Lecture Notes in Computer Science, pages 166-180, Springer, 2014. [doi]
Abstract is missing.