TY  - GEN
AU  - Ganesalingam,M
AU  - Gowers,W T
TI  - A Fully Automatic Theorem Prover with Human-Style Output
SN  - 1573-0670
PY  - 2017///
PB  - Journal of automated reasoning
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10817-016-9377-1
ER  -