John Harrison. A Short Survey of Automated Reasoning. In Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia, editors, Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Volume 4545 of Lecture Notes in Computer Science, pages 334-349, Springer, 2007. [doi]
@inproceedings{Harrison07:2,
title = {A Short Survey of Automated Reasoning},
author = {John Harrison},
year = {2007},
doi = {10.1007/978-3-540-73433-8_24},
url = {http://dx.doi.org/10.1007/978-3-540-73433-8_24},
tags = {survey},
researchr = {https://researchr.org/publication/Harrison07%3A2},
cites = {0},
citedby = {0},
pages = {334-349},
booktitle = {Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings},
editor = {Hirokazu Anai and Katsuhisa Horimoto and Temur Kutsia},
volume = {4545},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73432-1},
}