Ramón P. Otero. Induction of Stable Models. In Céline Rouveirol, Michèle Sebag, editors, Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings. Volume 2157 of Lecture Notes in Computer Science, pages 193-205, Springer, 2001. [doi]
Abstract is missing.