Email Record: Foundations of inductive logic programming /