Diagnosing combinational logic designs using the single location at-a-time (SLAT) paradigm. - Thomas Bartenstein; Douglas Heaberlin; Leendert M. Huisman; David Sliwinski (ITC, 2001)