"Constraint Equations: Declarative Expression of Constraints With Automatic ..."

Matthew Morgenstern (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics