@inproceedings{ijcai1969p27,
  title     = {Completeness Theorems for Semantic Resolution in Consequence-Finding},
  author    = {Slagle, James R. and Chang, Chin-Liang and Lee, Richard C. T.},
  booktitle = {Proceedings of the First International Joint Conference on
               Artificial Intelligence, {IJCAI-69}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Donald E. Walker and David C. Cooper},
  pages     = {281--286},
  year      = {1969},
  month     = {5},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1969/27},
}