@inproceedings{Moore73,
  title = {D-SCRlPT: A Computational Theory of Descriptions},
  author = {Robert C. Moore},
  year = {1973},
  tags = {C++},
  researchr = {https://researchr.org/publication/Moore73},
  cites = {0},
  citedby = {0},
  pages = {223-229},
  booktitle = {IJCAI},
}