TY  - BOOK
AU  - LAWRENCE C. PAULSON
AU  - TOBIAS NIPKOW
TI  - ISABELLE: A GENERIC THEOREM PROVER
SN  - 9783540582441
U1  - 511.3028553 
PY  - 1994///
CY  - NEWYORK
PB  - SPRINGER
ER  -