1. Metalevel and Constraint Technology in a Pure Logic Language, E. Babb, K. Rommelse. 2. A Framework for the Principled Debugging...