Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.

Alan M. Frisch

Browse the full ILP paper archive.