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