Gebhardt, Volker; González-Meneses, Juan Solving the conjugacy problem in Garside groups by cyclic sliding. (English) Zbl 1235.20032 J. Symb. Comput. 45, No. 6, 629-656 (2010). MSC: 20F10 20F36 68W30 68Q25 PDFBibTeX XMLCite \textit{V. Gebhardt} and \textit{J. González-Meneses}, J. Symb. Comput. 45, No. 6, 629--656 (2010; Zbl 1235.20032) Full Text: DOI arXiv Link
Bokut, L. A. Gröbner-Shirshov basis for the braid group in the Artin-Garside generators. (English) Zbl 1176.20035 J. Symb. Comput. 43, No. 6-7, 397-405 (2008). MSC: 20F36 20F10 20F05 PDFBibTeX XMLCite \textit{L. A. Bokut}, J. Symb. Comput. 43, No. 6--7, 397--405 (2008; Zbl 1176.20035) Full Text: DOI arXiv
Baaz, Matthias; Leitsch, Alexander Towards a clausal analysis of cut-elimination. (English) Zbl 1125.03013 J. Symb. Comput. 41, No. 3-4, 381-410 (2006). MSC: 03B35 03F05 03F20 68T15 68W30 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, J. Symb. Comput. 41, No. 3--4, 381--410 (2006; Zbl 1125.03013) Full Text: DOI
Baaz, Matthias; Leitsch, Alexander Cut-elimination and redundancy-elimination by resolution. (English) Zbl 0976.03059 J. Symb. Comput. 29, No. 2, 149-176 (2000). Reviewer: G.Mints (Stanford) MSC: 03F05 03B35 68T15 03B10 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, J. Symb. Comput. 29, No. 2, 149--176 (2000; Zbl 0976.03059) Full Text: DOI Link
Le Chenadec, Philippe On the logic of unification. (English) Zbl 0682.03033 J. Symb. Comput. 8, No. 1-2, 141-199 (1989). Reviewer: N.Zamov MSC: 03F35 03B35 03F05 PDFBibTeX XMLCite \textit{P. Le Chenadec}, J. Symb. Comput. 8, No. 1--2, 141--199 (1989; Zbl 0682.03033) Full Text: DOI