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