Propagating Constraints in Recusive Deduction Databases

David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi. Propagating Constraints in Recusive Deduction Databases. In NACLP. pages 981-998, 1989.

@inproceedings{KempRBM89,
  title = {Propagating Constraints in Recusive Deduction Databases},
  author = {David B. Kemp and Kotagiri Ramamohanarao and Isaac Balbin and Krishnamurthy Meenakshi},
  year = {1989},
  tags = {constraints},
  researchr = {https://researchr.org/publication/KempRBM89},
  cites = {0},
  citedby = {0},
  pages = {981-998},
  booktitle = {NACLP},
}