Larry Wos, S. K. Winker, Ewing L. Lusk. An automated reasoning system. In American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA. Volume 50 of AFIPS Conference Proceedings, pages 697-702, AFIPS Press, 1981. [doi]
@inproceedings{WosWL81,
title = {An automated reasoning system},
author = {Larry Wos and S. K. Winker and Ewing L. Lusk},
year = {1981},
doi = {10.1145/1500412.1500517},
url = {http://doi.acm.org/10.1145/1500412.1500517},
researchr = {https://researchr.org/publication/WosWL81},
cites = {0},
citedby = {0},
pages = {697-702},
booktitle = {American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA},
volume = {50},
series = {AFIPS Conference Proceedings},
publisher = {AFIPS Press},
}