@inproceedings{DBLP:conf/lpnmr/GebserGSS13,
  author = {Gebser, Martin and Glase, Thomas and Sabuncu, Orkunt and Schaub, Torsten},
  title = {Matchmaking with Answer Set Programming},
  booktitle = {{LPNMR}},
  series = {Lecture Notes in Computer Science},
  volume = {8148},
  pages = {342--347},
  publisher = {Springer},
  year = {2013}
}