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