Andrzej Krasniewski Logic Synthesis for Efficient Pseudoexhaustive Testability. 66-72 1991 conf/dac/1991 DAC https://doi.org/10.1145/127601.127630 db/conf/dac/dac91.html#Krasniewski91