Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations.

Bryan Garreau, Martn Diguez Lodeiro, ric Monfroy, Igor Stphan

Browse the full ICTAI paper archive.