JMLR归纳程序设计方法与应用专题
Prolog证明树上的内核：ILP环境中的统计学习 安德烈亚·帕塞里尼（Andrea Passerini）、保罗·弗拉斯科尼（Paolo Frasconi）、卢克·德·雷德（Luc De Raedt） ; 2006年2月7日：307--342。 [ 防抱死制动系统 ][ pdf格式 ]
函数程序的归纳综合：一种基于解释的泛化方法 伊曼纽尔·基泽尔曼（Emanuel Kitzelmann），尤特·施密德（Ute Schmid） ; 2006年2月7日：429--454。 [ 防抱死制动系统 ][ pdf格式 ]