Lloyd, John W. "Debugging for a Declarative Programming Language"

(1995) Machine Intelligence 15 K. Furukawa, D. Michie, and S. Muggleton (eds). Oxford University Press 1995  

Languages mentioned Escher {1995}