Finitary axiomatizations of the true relational equations Roger Maddux — 1993 Banach Center Publications
Chromatic graphs, Ramsey numbers and the flexible atom conjecture. Alm, Jeremy F.; Maddux, Roger D.; Manske, Jacob — 2008 The Electronic Journal of Combinatorics [electronic only]