Semantics of Constraint Logic Programs with Bounded Quantifiers. - Martin Argenius; Andrei Voronkov (ELP, 1996)