Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis

Bertram Fronhöfer, Ulrich Furbach. Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. In Claus-Rainer Rollinger, Werner Horn, editors, GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Volume 124 of Informatik-Fachberichte, pages 289-300, Springer, 1986.

Abstract

Abstract is missing.