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

Authors: DEVIENNE P LEBEGUE P DAUCHET M

Citation: P. Devienne et al., WEIGHTED SYSTEMS OF EQUATIONS, Theoretical computer science, 119(1), 1993, pp. 39-62