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