Alan M. Frisch. Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming. 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 104-115, Springer, 1999. [doi]
Abstract is missing.