Logic Program Semantics for Programming with Equations.

Joxan Jaffar, Peter J. Stuckey

Browse the full ICLP paper archive.