Commonsense reasoning - Mueller, Erik T. (Elsevier Morgan Kaufmann, 2006)