Boström H., "Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs", pp1194-1200

Proc. (1995) Proc. of the Fourteenth International Joint Conference on Artificial Intelligence , Morgan Kaufmann (1995)  

Languages mentioned SPECTRE {1994}