Jean-Paul Delahaye, Philippe Mathieu. An achievement by part method to solve the incompleteness of forward chaining. In Philippe Ézéquel, editor, 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France. pages 155-171, TEKNEA, 1993.
@inproceedings{DelahayeM93,
title = {An achievement by part method to solve the incompleteness of forward chaining},
author = {Jean-Paul Delahaye and Philippe Mathieu},
year = {1993},
researchr = {https://researchr.org/publication/DelahayeM93},
cites = {0},
citedby = {0},
pages = {155-171},
booktitle = {2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France},
editor = {Philippe Ézéquel},
publisher = {TEKNEA},
isbn = {2-87717-034-9},
}