Arlindo Manuel Olveira
Univ. of California, Berkeley
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
IEEE Transactions on Computers
Inference of regular languages using state merging algorithms with search
Pattern Recognition