Adaptive Reasoning for Real-world Problems (A Schema-based Approach) - 9781138965911