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 -