Inductive Logic. tr 2017, 11 (3).