Larry E. Travis. Experiments with a theorem-utilizing program. In Herbert R. Roller, editor, Proceedings of the 1964 spring joint computer conference, AFIPS 1964 (Spring), Washington, D.C., USA, April 21-23, 1964. pages 339-358, ACM, 1964. [doi]
@inproceedings{Travis64,
title = {Experiments with a theorem-utilizing program},
author = {Larry E. Travis},
year = {1964},
doi = {10.1145/1464122.1464157},
url = {https://doi.org/10.1145/1464122.1464157},
researchr = {https://researchr.org/publication/Travis64},
cites = {0},
citedby = {0},
pages = {339-358},
booktitle = {Proceedings of the 1964 spring joint computer conference, AFIPS 1964 (Spring), Washington, D.C., USA, April 21-23, 1964},
editor = {Herbert R. Roller},
publisher = {ACM},
isbn = {978-1-4503-7890-1},
}