TY  - BOOK
AU  - Larry Wos, Gail W. Pieper 
TI  - The Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning
SN  - 981-02-4996-9
U1  - 511.3 
PY  - 2000///
CY  - Singapore
PB  - World Scientific Company 
ER  -