NOVA Math Publications Algebra and Logic Article Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM Theory of Computing Systems 2010 47 2 568-592 10.1007/s00224-009-9216-4 Tags : Algebra and Logic