"The Category of Constraint Systems is Cartesian-Closed"

Vijay A. Saraswat (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics