F.: Controlling search in declarative programs (1998)

by M Hanus, Steiner
Venue:In: PLILP/ALP’98