Rewriting concepts in the study of confluence of constraint handling rules (1997)

by Abd97 S Abdennadher