Handbook of Practical Logic and Automated Reasoning
Introduction to Clustering Large and High Dimensional Data
