Logic-Based Pattern Discovery. - Sim, Alex Tze Hiang; Indrawan, Maria; Zutshi, Samar (IEEE Transactions on Knowledge & Data Engineering, 2010)