NOVA Math Publications Algebra and Logic Article Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM Information and Computation 2009 207 11 1156-1168 10.1016/j.ic.2009.02.005 Tags : Algebra and Logic