@InProceedings{jfplc1997-compilation,
  x-todo =                   {editor,pages},
  author =                   {Roussel, Olivier and Mathieu, Philippe},
  title =                    {Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement partiel},
  booktitle =                {Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'97)},
  year =                     {1997},
  publisher =                {Hermès},
  conference =               {JFPLC'97 -- Orléans (France) -- Juin 1997},
  genre =                    {conferenceNationale},
  x-language =               {FR},
  x-international-audience = {No},
  x-country =                {FR},
  abstract =                 {No abstract}
}