Algebraic and logical semantics for CLP languages with dynamic scheduling

Debray, 1993, QD-Janus: A Sequential Implementation of Janus in Prolog, Software-Practice and Experience, 23, 1337, 10.1002/spe.4380231204 Falaschi, 1989, Declarative Modeling of the Operational Behavior of Logic Languages, Theor. Comput. Sci., 69, 289, 10.1016/0304-3975(89)90070-4 Früwirth, 1992, Constraint Simplification Rules Jaffar, 1987, Constraint Logic Programming, 111 Jaffar, 1994, Constraint Logic Programming: A Survey, J. Logic Programming, 19/20, 503, 10.1016/0743-1066(94)90033-7 Marriott, 1995, A Simple Semantics for Logic Programming Languages with Delay, 17, 356 Naish, 1985, Negation and Control in Prolog, 238 Naish, 1993, Coroutining and the Construction of Terminating Logic Programs, 15, 181 Yelick, 1989, Moded Type Systems for Logic Programming, 116