Publication | Closed Access

The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Constraint SolvingEngineeringAutomated ReasoningAnswer Set ProgrammingConstraintsFormal MethodsWell-founded SemanticsSemanticsFormal VerificationConstraint Logic Programs1noteLogic ProgrammingConstraint Programming