A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups.

Klaus Madlener, Paliath Narendran, Friedrich Otto

Browse the full ICALP paper archive.