W. W. Bledsoe, Peter Bruell. A Man-Machine Theorem-Proving System. In IJCAI. pages 56-66, 1973.
@inproceedings{BledsoeB73,
title = {A Man-Machine Theorem-Proving System},
author = {W. W. Bledsoe and Peter Bruell},
year = {1973},
researchr = {https://researchr.org/publication/BledsoeB73},
cites = {0},
citedby = {0},
pages = {56-66},
booktitle = {IJCAI},
}