A spectrum of logical definitions of model-based diagnosis

Luca Console, Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7:133-141, 1991.

Abstract

Abstract is missing.