@InProceedings{stacs1994-one,
  x-todo =                   {conference,x-country},
  x-fixme =                  {editor à corriger},
  genre =                    {conferenceInternationale},
  author =                   {Devienne, Philippe and Lebègue, Patrick and Routier, Jean-Christophe and Würtz, Jörg},
  title =                    {One Binary Horn Clause is Enough},
  booktitle =                {Proceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94)},
  pages =                    {21-32},
  year =                     {1994},
  editor =                   {Enjalbert, Patrice and Mayr, E. W. and Wagner, K. W.},
  volume =                   {775},
  series =                   {Lecture Notes in Computer Science},
  publisher =                {Springer},
  pdf =                      {http://www.lifl.fr/SMAC/publications/pdf/stacs1994-one},
  x-language =               {EN},
  x-international-audience = {Yes},
  x-country =                {},
  abstract =                 {No abstract}
}