A Theoretical Framework for Consistency Techniques in Logic Programming

Van Hentenryck. "A Theoretical Framework for Consistency Techniques in Logic Programming." International Joint Conference on Artificial Intelligence, 1987.

[Van Hentenryck. "A Theoretical Framework for Consistency Techniques in Logic Programming." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/hentenryck1987ijcai-theoretical/)

@inproceedings{hentenryck1987ijcai-theoretical,
  title     = {{A Theoretical Framework for Consistency Techniques in Logic Programming}},
  author    = {Van Hentenryck, Pascal},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {2-8},
  url       = {https://mlanthology.org/ijcai/1987/hentenryck1987ijcai-theoretical/}
}