Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz. Smallest Horn Clause Programs. Journal of Logic and Algebraic Programming, 27(3):227-267, 1996.
@article{DevienneLPRW96, title = {Smallest Horn Clause Programs}, author = {Philippe Devienne and Patrick Lebègue and Anne Parrain and Jean-Christophe Routier and Jörg Würtz}, year = {1996}, researchr = {https://researchr.org/publication/DevienneLPRW96}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {27}, number = {3}, pages = {227-267}, }