Chiaki Sakama Katsumi Inoue Brave Induction. 261-278 2008 ILP http://dx.doi.org/10.1007/978-3-540-85928-4_21 conf/ilp/2008 db/conf/ilp/ilp2008.html#SakamaI08