Chiaki Sakama. Some Properties of Invers Resolution in Normal Logic Programs. In Saso Dzeroski, Peter A. Flach, editors, Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings. Volume 1634 of Lecture Notes in Computer Science, pages 279-290, Springer, 1999. [doi]
Abstract is missing.