1
Published 1982
Springer Berlin Heidelberg
Table of Contents: ... methodology in logic programming -- A theorem-proving approach to the Knuth-Bendix completion algorithm...

2
Published 1984
Springer Berlin Heidelberg
Table of Contents: .... -- Automates a pile sur des alphabets infinis -- Logic programs and many-valued logic -- Algebre de machines et...

3
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- Tree automata and logic programs -- Structure of relations satisfying certain families of dependencies...