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

Machine Intelligence  

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