On Algorithms for Operative Diagnosis of Systems (Abstract). - Nageswara S. V. Rao; Jih-sen Lin (ACM Conference on Computer Science, 1990)