Inductive Logic, 12–13 September. tr 2012, 6 (11).