Controlling search in declarative programs (1998)

by Michael Hanus, Frank Steiner
Venue:of Lecture Notes in Computer Science