Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications - Triantaphyllou, Evangelos (Springer Science+Business Media, LLC, 2010)