BibTeX record journals/corr/abs-1109-0583

download as .bib file

@article{DBLP:journals/corr/abs-1109-0583,
  author    = {Shahab Tasharrofi and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska},
  title     = {Solving Modular Model Expansion Tasks},
  journal   = {CoRR},
  volume    = {abs/1109.0583},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics