Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks | Read Paper on Bytez