@InProceedings{jnpc1997-compilation,
  x-todo =                   {editor,publisher},
  author =                   {Roussel, Olivier and Mathieu, Philippe},
  title =                    {Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement total},
  booktitle =                {Actes de la 3ème conférence nationale sur la résolution pratique de problèmes NP-complets (JNPC'97)},
  year =                     {1997},
  pages =                    {61-66},
  conference =               {JNPC'97 -- Rennes (France) -- 1997},
  genre =                    {conferenceNationale},
  x-language =               {FR},
  x-international-audience = {No},
  x-country =                {FR},
  abstract =                 {No abstract}
}