Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs | Publicación