@InProceedings{jfpl1995-evaluation,
  x-todo =                   {editor,publisher},
  author =                   {Roussel, Olivier and Mathieu, Philippe},
  title =                    {Evaluation des méthodes d'achèvement par parties},
  booktitle =                {Actes des Journées Francophones de Programmation Logique (JFPL'95)},
  year =                     {1995},
  editor =                   {},
  pages =                    {175-189},
  publisher =                {},
  conference =               {JFPL'95 -- Dijon (France) -- Mai 1995},
  genre =                    {conferenceNationale},
  x-language =               {FR},
  x-international-audience = {No},
  x-country =                {FR},
  abstract =                 {No abstract}
}