A new method for the efficient state-assignment of PLA-based sequential machines | Publicación