Larry Wos, Daniel F. Carson, George A. Robinson. The unit preference strategy in theorem proving. In Proceedings of the 1964 fall joint computer conference, part I, AFIPS 1964 (Fall, part I), San Francisco, California, USA, October 27-29, 1964. pages 615-621, ACM, 1964. [doi]
@inproceedings{WosCR64,
title = {The unit preference strategy in theorem proving},
author = {Larry Wos and Daniel F. Carson and George A. Robinson},
year = {1964},
doi = {10.1145/1464052.1464109},
url = {https://doi.org/10.1145/1464052.1464109},
researchr = {https://researchr.org/publication/WosCR64},
cites = {0},
citedby = {0},
pages = {615-621},
booktitle = {Proceedings of the 1964 fall joint computer conference, part I, AFIPS 1964 (Fall, part I), San Francisco, California, USA, October 27-29, 1964},
publisher = {ACM},
isbn = {978-1-4503-7889-5},
}