TY  - BOOK
AU  - Shapiro, Ehud Y.
TI  - Algorithmic program debugging
SN  - 0262192187
U1  - 001.642 
PY  - 1983///
CY  - Cambridge
PB  - The Mit Press
KW  - Prolog (Computer Program Language)
KW  - Debugging In Computer Science
ER  -