Using Extended Logical Primitives for Efficient BDD Building | Publicación