Wlodzimierz Drabent. On Correctness of Normal Logic Programs. In Alicia Villanueva, editor, Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Volume 13474 of Lecture Notes in Computer Science, pages 142-154, Springer, 2022. [doi]
Abstract is missing.