Neil Ghani, Anne Heyworth
A Rewriting Alternative to Reidemeister-Schreier
RTA, 2003.
@inproceedings{RTA-2003-GhaniH, author = "Neil Ghani and Anne Heyworth", booktitle = "{Proceedings of the 14th International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-44881-0_32", editor = "Robert Nieuwenhuis", isbn = "3-540-40254-3", pages = "452--466", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Rewriting Alternative to Reidemeister-Schreier}", volume = 2706, year = 2003, }