@inproceedings{ICALP-1991-MadlenerNO,
author = "Klaus Madlener and Paliath Narendran and Friedrich Otto",
booktitle = "{Proceedings of the 18th International Colloquium on Automata, Languages and Programming}",
doi = "10.1007/3-540-54233-7_141",
isbn = "3-540-54233-7",
pages = "279--290",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups}",
volume = 510,
year = 1991,
}
Tags: