A term rewriting system for the calculus of moving surfaces.

Mark Boady, Pavel Grinfeld, Jeremy Johnson

Browse the full ISSAC paper archive.