Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi. Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput., 137(1):41-67, 1997.

@article{FalaschiGMP97,
  title = {Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators},
  author = {Moreno Falaschi and Maurizio Gabbrielli and Kim Marriott and Catuscia Palamidessi},
  year = {1997},
  tags = {semantics, rule-based, constraints, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/FalaschiGMP97},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {137},
  number = {1},
  pages = {41-67},
}