Algebra and Logic

Article
Cain,AJ
THEORETICAL COMPUTER SCIENCE

2009
410
47-49
5022-5038
10.1016/j.tcs.2009.07.054