@inproceedings {SchmidFettig95,
editor={Klaus Schmid and Roland Fettig},
title={Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility},
publisher={ - Springer},
editor={Jieh Hsiang},
booktitle={Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA '95)},
year={1995},
pages={86-100},
abstract={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.}
}