Ashwin Srinivasan Stephen Muggleton Michael Bain The Justification of Logical Theories based on Data Compression. 87-121 1994 Machine Intelligence 13 db/conf/mi/mi1994.html#SrinivasanMB94