Cambridge Handbook Of Practical Logic And Automated Reasoning 2009-axxxo