|Klaus Schmid and Roland Fettig
|Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility
|Beitrag zu einer Tagung / Konferenz
|Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA '95)
|We propose a method for constructing test sets for deciding whether a term is ground reducible w.r.t. an arbitrary, many-sorted, unconditional term rewriting system. Our approach is based on a suitable characterization of such test sets using a certain notion of transnormality. It generates very small test sets and shows some promise to be an important step towards a practicable implementation.