Jan Struyf Jan Ramon Hendrik Blockeel Compact Representation of Knowledge Bases in ILP. 254-269 2002 conf/ilp/2002 ILP http://dx.doi.org/10.1007/3-540-36468-4_17 db/conf/ilp/ilp2002.html#StruyfRB02