Barnaby Fisher James Cussens Inductive Mercury Programming. 199-213 2006 conf/ilp/2006 ILP http://dx.doi.org/10.1007/978-3-540-73847-3_23 db/conf/ilp/ilp2006.html#FisherC06