@InProceedings{jfplc1996-nouvelle,
  x-todo =                   {editor,pages,publisher},
  author =                   {Roussel, Olivier and Mathieu, Philippe},
  title =                    {Une nouvelle Methode de Compilation Logique : L'Achèvement par Cycles},
  booktitle =                {Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96)},
  year =                     {1996},
  editor =                   {},
  pages =                    {},
  publisher =                {},
  conference =               {JFPLC'96 -- Clermont-Ferrand (France) -- 5-7 juin 1996},
  genre =                    {conferenceNationale},
  x-language =               {FR},
  x-international-audience = {No},
  x-country =                {FR},
  abstract =                 {No abstract}
}