%0 Book
%A  editors, Rolf Drechsler and Mathias Soeken.
%T Advanced Boolean techniques :
%U /book/90229104/Advanced-Boolean-techniques/