Operational Equivalence of CHR Programs And Constraints (1999)

by Slim Abdennadher , Thom Frühwirth
Venue:In 5th International Conference on Principles and Practice of Constraint Programming, CP'99, LNCS 1713
Citations:21 - 6 self