Observable Semantics for Constraint Logic Programs

Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi. Observable Semantics for Constraint Logic Programs. Journal of Logic and Computation, 5(2):133-171, 1995.

Abstract

Abstract is missing.