Observable confluence for constraint handling rules (2006)
by
Gregory J. Duck
,
Peter J. Stuckey
,
Martin Sulzmann
| Venue: | Katholieke Universteit Leuven |
| Citations: | 13 - 2 self |







