Rewriting Via Coinserters

Neil Ghani, Christoph Lüth. Rewriting Via Coinserters. Nord. J. Comput., 10(4):290-312, 2003.

Bibliographies