Gunther Sablon Luc De Raedt Maurice Bruynooghe 393-409 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#SablonRB94