TY  - BOOK
AU  - Friedman,Daniel P.
AU  - Eastlund,Carl
TI  - Little prover
SN  - 9780262527958 (pbk.)
U1  - 511.36028563 FRI 
PY  - 2015///
CY  - London, England
PB  - MIT Press
KW  - Automatic theorem proving
KW  - LISP (Computer program language)
ER  -