@inproceedings{hmw11,
  author    = "Hamadi, Youssef and Marques-Silva, Joao and Wintersteiger, Christoph M.",
  year      = "2011",
  title     = "Lazy Decomposition for Distributed Decision Procedures",
  editor    = "Barnat, Ji\v{r}\'i and Heljanko, Keijo",
  booktitle = "{\rm Proceedings 10th International Workshop on}
               Parallel and Distributed Methods in verifiCation,
               {\rm Snowbird, Utah, USA, July 14, 2011}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "72",
  publisher = "Open Publishing Association",
  pages     = "43-54",
  doi       = "10.4204/EPTCS.72.5",
}