Filip Zelezný, Ondrej Kuzelka: Taming the Complexity of Inductive Logic Programming. SOFSEM 2010: 132-140