Observable confluence for Constraint Handling Rules (2007)

by G J Duck, P J Stuckey, M Sulzmann
Venue:In Dahl and Niemelä