Marriott, Kim Algebraic and logical semantics for CLP languages with dynamic scheduling. (English) Zbl 0882.68029 J. Log. Program. 32, No. 1, 71-84 (1997). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Seipel, Dietmar; Minker, Jack; Ruiz, Carolina Model generation and state generation for disjunctive logic programs. (English) Zbl 0882.68033 J. Log. Program. 32, No. 1, 49-69 (1997). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Benhamou, Frédéric; Older, William J. Applying interval arithmetic to real, integer, and Boolean constraints. (English) Zbl 0882.68032 J. Log. Program. 32, No. 1, 1-24 (1997). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI