P.: Monadic Constraint Programming (2009)

by T Schrijvers, P Stuckey, Wadler
Venue:J. Func. Prog