DMCA

The Refined Operational Semantics of Constraint Handling Rules (2003)

by Gregory J. Duck , Peter J. Stuckey , Maria Garcia De La Banda
Venue:UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING
Citations:56 - 5 self