@inproceedings{DBLP:conf/ijcai/GebserGQ0S16,
  title = {Knowledge-Based Sequence Mining with {ASP}},
  author = {Gebser, Martin and Guyet, Thomas and Quiniou, Ren{\'{e}} and Romero, Javier and Schaub, Torsten},
  booktitle = {{IJCAI}},
  pages = {1497--1504},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016}
}