TY  - BOOK
AU  - Shapiro,Ehud Y.
TI  - Algorithmic program debugging
AV  - QA76.6 S49
PY  - 1983///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Prolog (Computer program language)
KW  - Debugging in computer science
N1  - Thesis (Ph.D.) - Yale University, 1982
ER  -