@inproceedings{dsahoo/fmcad/2004,
  author    = {Debashis Sahoo and
               Subramanian K. Iyer and
               Jawahar Jain and
               Christian Stangier and
               Amit Narayan and
               David L. Dill and
               E. Allen Emerson},
  title     = {A Partitioning Methodology for BDD-Based Verification.},
  booktitle = {FMCAD},
  year      = {2004},
  pages     = {399-413},
}