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

Bertram Fronhfer, Ulrich Furbach

Browse the full KI paper archive.