An achievement by part method to solve the incompleteness of forward chaining

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.

Abstract

Abstract is missing.