Data mining and knowledge discovery via logic-based methods : theory, algorithms, and applications (2010)