Essentials of Pattern Mining by Bjorn Bringmann