Minimization of Symbolic Relations. - Lin, Bill; Somenzi, Fabio (1990)