A confluent relational calculus for higher-order programming with constraints (1994)

by J Niehren, G Smolka
Venue:Proc. 1st Int. Conference on Constraints in Computational Logics (CCL'94