Applications of abduction: A unified framework for software and knowledge engineering (1998)

by T Menzies
Venue:Asian-Pacific Workshop on Intelligent Software Engineering