Kim Marriott;Martin Odersky
-;-
Confluence and Semantics of Constraint Simplification Rules
Constraints