Ralph McKenzie Japheth Wood The Type Set of a Variety is Not Computable. 89-130 2001 11 IJAC 1 http://dx.doi.org/10.1142/S0218196701000504 db/journals/ijac/ijac11.html#McKenzieW01