TY  - RPRT
TI  - An Introduction to Mechanized Reasoning
AU  - Manfred Kerber
AU  - Christoph Lange
AU  - Colin Rowat
PY  - 2016
DO  - 10.1016/j.jmateco.2016.06.005
UR  - https://arxiv.org/abs/1603.02478
ID  - 1603.02478
ER  -