Jared L. Darlington. Theorem Provers as Question Answerers. In IJCAI. pages 317-318, 1969.
@inproceedings{Darlington69,
title = {Theorem Provers as Question Answerers},
author = {Jared L. Darlington},
year = {1969},
researchr = {https://researchr.org/publication/Darlington69},
cites = {0},
citedby = {0},
pages = {317-318},
booktitle = {IJCAI},
}