Algebra and Logic

Article
Cain,AJ;Gray,RD;Malheiro,A
INFORMATION AND COMPUTATION

2017
255

68-93
10.1016/j.ic.2017.05.003