@inproceedings{stacs1994-one,
  title = {One Binary Horn Clause is Enough},
  author = {Devienne, Philippe and Lebègue, Patrick and Routier, Jean-Christophe and Würtz, Jörg},
  booktitle = {Proceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94)},
  editor = {Enjalbert, Patrice and Mayr, E. W. and Wagner, K. W.},
  pages = {21-32},
  year = {1994},
  volume = {775},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3540577858},
  conference = {STACS1994 -- Caen (France) -- 24-26 février 1994},
  pdf = {http://www.lifl.fr/SMAC/publications/pdf/stacs1994-one},
  abstract = {No abstract},
  hal-id = {hal-00732054},
  x-genre = {conferenceInternationale},
  x-language = {EN},
  x-international-audience = {Yes},
  x-country = {FR},
  x-town = {Caen},
  x-fixme = {editor à corriger},
  x-wontfill = {url},
  x-timestamp = {2012-09-13},
  x-missing = {url}
}