1
by Biere, Mike
Published 2003
Prentice Hall PTR