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