Data mining and knowledge discovery via logic-based methods by Evangelos Triantaphyllou | Menrva Books