MuiseMBH10'

@inproceedings{DBLP:conf/aaai/MuiseMBH10,
  author    = {Christian J. Muise and
               Sheila A. McIlraith and
               J. Christopher Beck and
               Eric I. Hsu},
  title     = {Fast d-DNNF Compilation with sharpSAT},
  booktitle = {Abstraction, Reformulation, and Approximation},
  year      = {2010},
  ee        = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2069},
  crossref  = {DBLP:conf/aaai/2010abstr},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aaai/2010abstr,
  title     = {Abstraction, Reformulation, and Approximation, Papers from
               the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12,
               2010},
  booktitle = {Abstraction, Reformulation, and Approximation},
  publisher = {AAAI},
  series    = {AAAI Workshops},
  volume    = {WS-10-08},
  year      = {2010},
  ee        = {http://www.aaai.org/Library/Workshops/ws10-08.php},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}