CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.

Timothy J. Hickey

Browse the full PADL paper archive.