@inproceedings{NiemetzBiere-SMT13,
  author    = {Aina Niemetz and
               Armin Biere},
  title     = {{ddSMT: A Delta Debugger for the SMT-LIB v2 Format}},
  booktitle = {Proceedings of the 11th International Workshop on
               Satisfiability Modulo Theories, {SMT} 2013),
               affiliated with the 16th International Conference on
               Theory and Applications of Satisfiability Testing, {SAT} 2013,
               Helsinki, Finland, July 8-9, 2013},
  pages     = {36--45},
  year      = {2013},
}