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