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