Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. - Mitsue Furusawa; Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh (ILP, 1997)