Foundations of Declarative Testing and Debugging in Logic Programming (Computer Science and Computer Engineering Series) by Song Y. Yan · Bookplated