RESOURCES ON LOGIC SYNTHESIS.
Brayton
Ciesielski
Mishchenko
Marek-Sadowska.
Freiburg
Drechsler
Sasao