@article{jlp1996-smallest,
  title = {Smallest Horn clause program},
  author = {Devienne, Philippe and Lebègue, Patrick and Parrain, Anne and Routier, Jean-Christophe and Würtz, Jörg},
  journal = {Journal of Logic Programming},
  pages = {227-267},
  volume = {27},
  number = {3},
  month = {June},
  year = {1996},
  publisher = {Elsevier},
  issn = {0743-1066},
  abstract = {No abstract},
  hal-id = {hal-00825539},
  x-genre = {revueInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-timestamp = {2013-05-24},
  x-missing = {pdf}
}