Test pattern generation using boolean proof engines / R. Drechsler [et al.], 2009 r=on-line. - Текст : электронный.