@inproceedings{jfpl1993-achievement,
  title = {An Achievement by Part Method to Solve the Incompleteness of Forward Chaining},
  author = {Delahaye, Jean-Paul and Mathieu, Philippe},
  booktitle = {Actes des Journées Francophones de Programmation Logique (JFPL'93)},
  pages = {155-171},
  month = {Mai},
  year = {1993},
  conference = {JFPL'93 -- Nīmes (France) -- Mai 1993},
  abstract = {No abstract},
  hal-id = {hal-00732011},
  x-genre = {conferenceNationale},
  x-language = {FR},
  x-international-audience = {No},
  x-country = {FR},
  x-town = {Nīmes},
  x-timestamp = {2012-09-13},
  x-missing = {editor,isbn,pdf,publisher,url}
}