Learning Language in Logic - Cussens, James; Cussens, James; Dzeroski, Saso; Dzeroski, Saso (Springer Berlin Heidelberg : Imprint: Springer, 2000)