Typing constraint logic programs

François Fages, Emmanuel Coquery. Typing constraint logic programs. TPLP, 1(6):751-777, 2001.

@article{FagesC01,
  title = {Typing constraint logic programs},
  author = {François Fages and Emmanuel Coquery},
  year = {2001},
  tags = {constraints, logic programming, logic},
  researchr = {https://researchr.org/publication/FagesC01},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {1},
  number = {6},
  pages = {751-777},
}