@inproceedings{jfplc1996-nouvelle,
  title = {Une nouvelle Methode de Compilation Logique : L'Achèvement par Cycles},
  author = {Roussel, Olivier and Mathieu, Philippe},
  booktitle = {Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96)},
  year = {1996},
  conference = {JFPLC'96 -- Clermont-Ferrand (France) -- 5-7 juin 1996},
  abstract = {No abstract},
  hal-id = {hal-00732014},
  x-genre = {conferenceNationale},
  x-language = {FR},
  x-international-audience = {No},
  x-country = {FR},
  x-town = {Clermont-Ferrand},
  x-timestamp = {2012-09-13},
  x-missing = {editor,isbn,pages,pdf,publisher,url}
}