Correct Reasoning - Hutchison, David; Kanade, Takeo; Lee, Joohyung; Lierler, Yuliya; Pearce, David (Springer Berlin Heidelberg, 2012)