Horatiu Cirstea Germain Faure Claude Kirchner A rho-calculus of explicit constraint application. 37-72 2007 20 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-007-9004-2 db/journals/lisp/lisp20.html#CirsteaFK07