Robert H. Gilman. Computations with Rational Subsets of Confluent Groups. In John Fitch, editor, EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings. Volume 174 of Lecture Notes in Computer Science, pages 207-212, Springer, 1984.
Abstract is missing.