Forest Diagrams for Elements of Thompson's Group F. - James M. Belk; Kenneth S. Brown (Int. J. Algebra Comput., 2005)

Deciding Conjugacy in Thompson's Group F in Linear Time. - Nabil Hossain; Robert W. McGrail; James M. Belk; Francesco Matucci (SYNASC, 2013)

Implementation of a solution to the conjugacy problem in Thompson's group F. - James M. Belk; Nabil Hossain; Francesco Matucci; Robert W. McGrail (ACM Commun. Comput. Algebra, 2013)

CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. - Robert W. McGrail; James M. Belk; Solomon Garber; Japheth Wood; Benjamin Fish (SYNASC, 2014)

The Word Problem for Finitely Presented Quandles is Undecidable. - James M. Belk; Robert W. McGrail (WoLLIC, 2015)