Ross Willard A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:1, pp:187-200 [Journal]

Ross Willard Hereditary Undecidability of Some Theories of Finite Structures. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1994, v:59, n:4, pp:1254-1262 [Journal]