Oscar H. Ibarra Sartaj Sahni Polynomially Complete Fault Detection Problems. 242-249 1975 24 IEEE Trans. Computers 3 db/journals/tc/tc24.html#IbarraS75 http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224205