@inproceedings{jfplc1997-compilation,
  title = {Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement partiel},
  author = {Roussel, Olivier and Mathieu, Philippe},
  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},
  abstract = {No abstract},
  x-genre = {conferenceNationale},
  x-language = {FR},
  x-international-audience = {No},
  x-country = {FR},
  x-town = {Orléans},
  x-missing = {editor,hal-id,isbn,pages,pdf,url,x-timestamp}
}