@inproceedings{DBLP:conf/ijcai/GebserLMPRS18, title = {Evaluation Techniques and Systems for Answer Set Programming: a Survey}, author = {Gebser, Martin and Leone, Nicola and Maratea, Marco and Perri, Simona and Ricca, Francesco and Schaub, Torsten}, booktitle = {{IJCAI}}, pages = {5450--5456}, publisher = {ijcai.org}, year = {2018} }