Data Mining and Knowledge Discovery via Logic-Based Methods - Triantaphyllou, Evangelos (Springer US, 2010)