Encapsulating Data in Logic Programming via Categorial Constraints. - James Lipton; Robert W. McGrail (PLILP/ALP, 1998)

The genome generator: simulating the development of junk DNA. - Robert W. McGrail; S. Rebecca Thomas; Michael Tibbetts (J. Comput. Sci. Coll., 2003)

A grading dilemma or the abyss between sorting and the knapsack problem. - Robert W. McGrail; Tracey Baldwin McGrail (J. Comput. Sci. Coll., 2004)

Deconstructing the "math-science quest for solutions" website via logic programming. - Robert W. McGrail; Burton Brody (J. Comput. Sci. Coll., 2005)

Sorting the Sortable from the Unsortable. - Tracey Baldwin McGrail; Robert W. McGrail (FLAIRS, 2006)

TICK: A Content Management System Framework for Semantic Web Research and Instruction. - Robert W. McGrail; S. Rebecca Thomas (FLAIRS, 2007)

Toward an Ontology for Finite Algebras. - Bella Manoim; Robert W. McGrail (ISWC (Posters & Demos), 2008)

Tricoloring as a corrective measure (abstract only). - Robert W. McGrail; Mary Sharac (ACM Commun. Comput. Algebra, 2008)

Tricolorable torus knots are NP-complete. - Peter B. Golbus; Robert W. McGrail; Tomasz Przytycki; Mary Sharac; Aleksandar Chakarov (ACM Southeast Regional Conference, 2009)

On the algebraic structure of declarative programming languages. - Gianluca Amato; James Lipton; Robert W. McGrail (Theor. Comput. Sci., 2009)

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)

A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. - Robert W. McGrail; Thuy Trang Nguyen; Thanh Thuy Trang Tran; Atri Tripathi (SYNASC, 2018)

Knot Coloring as Verification. - Robert W. McGrail; Thuy Trang Nguyen; Mary Sharac Granda (SYNASC, 2020)