Confluence and Semantics of Constraint Simplification Rules

Slim Abdennadher, Thom W. Fr├╝hwirth, Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999.

Abstract

Abstract is missing.