Digitaltechnik — eine praxisnahe Einfuhrung / A. Biere [et al.], 2008 r=on-line. - Текст : электронный.
Kroening D. Decision procedures : an algorithmic point of view / D. Kroening, O. Strichman, 2008 r=on-line. - Текст : электронный.