@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} }