@inproceedings{CimattiDubrovinJunttilaRoveri:FMCAD09,
  title = {Structure-Aware Computation of Predicate Abstraction},
  author = {Alessandro Cimatti and Jori Dubrovin and Tommi Junttila and
            Marco Roveri},
  booktitle = {Proceedings of the 9th International Conference on Formal Methods in Computer Aided Design (FMCAD'09)},
  editor = {Armin Biere and Carl Pixley},
  pages = {9--16},
  publisher = {IEEE},
  year = {2009},
}