@article{DBLP:journals/corr/abs-1711-05090, title = {Efficiency Analysis of {ASP} Encodings for Sequential Pattern Mining Tasks}, author = {Guyet, Thomas and Moinard, Yves and Quiniou, Ren{\'{e}} and Schaub, Torsten}, journal = {CoRR}, volume = {abs/1711.05090}, year = {2017} }