@InProceedings{jfpl1993-achievement,
  x-todo =                   {editor,publisher},
  author =                   {Delahaye, Jean-Paul and Mathieu, Philippe},
  title =                    {An Achievement by Part Method to Solve the Incompleteness of Forward Chaining},
  booktitle =                {Actes des Journées Francophones de Programmation Logique (JFPL'93)},
  year =                     {1993},
  pages =                    {155-171},
  month =                    {Mai},
  conference =               {JFPL'93 -- Nîmes (France) -- Mai 1993},
  genre =                    {conferenceNationale},
  x-language =               {FR},
  x-international-audience = {No},
  x-country =                {FR},
  abstract =                 {No abstract}
}