Title: Towards a formal account of diagnostic problem solving
First published: 1997