Mark Boady, Pavel Grinfeld, Jeremy Johnson. A term rewriting system for the calculus of moving surfaces. In Michael B. Monagan, Gene Cooperman, Mark Giesbrecht, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. pages 69-76, ACM, 2013. [doi]
Abstract is missing.