Joachim Niehren Gert Smolka A Confluent Relational Calculus for Higher-Order Programming with Constraints. 89-104 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#NiehrenS94