Algebra and Logic

Article
Gray,R;Malheiro,A;Pride,SJ
INFORMATION AND COMPUTATION

2011
209
7
1120-1134
10.1016/j.ic.2011.03.004