Algebra and Logic

Article
Malheiro,A
THEORETICAL COMPUTER SCIENCE

2006
355
3
274-290
10.1016/j.tcs.2005.12.011