## A Confluent Relational Calculus for Higher-Order Programming with Constraints (1994)

by
Joachim Niehren
,
Gert Smolka

Venue: | Proc. 1st Int. Conference on Constraints in Computational Logics (CCL'94 |

Citations: | 6 - 4 self |