Selmanand Fern. Learning First-order Definite Theories via Object-based Queries. Springer Berlin Heidelberg, 2011, doi:10.1007/978-3-642-23808-6_11.