@inproceedings{saadatpanah:etal:2012,
  author    = {Pooya Saadatpanah and
               Michalis Famelis and
               Jan Gorzny and
               Nathan Robinson and 
               Marsha Checjik and
               Rick Salay},
  booktitle = {Proceedings of the 9th workshop on Model-Driven Engineering,
               Verification and Validation (MoDeVVa 2012)},
  title     = {Comparing the Effectiveness of Reasoning Formalisms for Partial Models},
  year      = {2012},
  file = {http://nathanrobinson.info/publications/MoDeVVa_2012_Saadatpanah.pdf}
}