Authors: DEVIENNE P LEBEGUE P PARRAIN A ROUTIER JC WURTZ J

Citation: P. Devienne et al., SMALLEST HORN CLAUSE PROGRAMS, The journal of logic programming, 27(3), 1996, pp. 227-267