1 Table of Contents: “... methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm...”

2 Table of Contents: “.... -- Automates a pile sur des alphabets infinis -- Logic programs and many-valued logic -- Algebre de machines et...”

3 Table of Contents: “... -- Tree automata and logic programs -- Structure of relations satisfying certain families of dependencies...”