John Harrison. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, 2009.
@book{0022394,
title = {Handbook of Practical Logic and Automated Reasoning},
author = {John Harrison},
year = {2009},
tags = {logic},
researchr = {https://researchr.org/publication/0022394},
cites = {0},
citedby = {0},
publisher = {Cambridge University Press},
isbn = {978-0-521-89957-4},
}