@InProceedings{naumovich-clarke-cobleigh:po-flavers,
  author =       "Gleb Naumovich and Lori Clarke and Jamieson Cobleigh",
  title =        "Using Partial Order Techniques to Improve Performance
                 of Data Flow Analysis Based Verification",
  pages =        "57--65",
  booktitle =    "Proceedings of the {ACM SIGPLAN/SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering",
  month =        sep,
  year =         "1999",
}