Philippe Devienne Patrick Lebègue Anne Parrain Jean-Christophe Routier Jörg Würtz Smallest Horn Clause Programs. 227-267 1996 27 J. Log. Program. 3 db/journals/jlp/jlp27.html#DevienneLPRW96