Design and Implementation of Practical Constraint Logic Programming Systems (1992)

by S Michaylov