@inproceedings{dsahoo/iwls/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 = {13th IEEE/ACM International Workshop on Logic and Synthesis, 
                Temecula, USA},
  year      = {2004},
  month     = {June},
  pages     = {192-199},
}