Algebra and Logic

Article
Gray,R;Malheiro,A
THEORETICAL COMPUTER SCIENCE

2011
412
45207
654-661
10.1016/j.tcs.2010.10.020