On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems.

Franz Baader, Jrgen Giesl

Browse the full FSCD paper archive.