Graem A. Ringwood. Automated theorem proving (second revised edition) by Wolfgang Bibel, Vieweg 1987. Knowledge Eng. Review, 3(4):324-325, 1988. [doi]
@article{Ringwood88a,
title = {Automated theorem proving (second revised edition) by Wolfgang Bibel, Vieweg 1987},
author = {Graem A. Ringwood},
year = {1988},
doi = {10.1017/S0269888900004641},
url = {http://dx.doi.org/10.1017/S0269888900004641},
researchr = {https://researchr.org/publication/Ringwood88a},
cites = {0},
citedby = {0},
journal = {Knowledge Eng. Review},
volume = {3},
number = {4},
pages = {324-325},
}