Sanjeev Khanna W. Kent Fuchs A Graph Partitioning Approach to Sequential Diagnosis. 39-47 1997 46 IEEE Trans. Computers 1 db/journals/tc/tc46.html#KhannaF97