Algebra and Logic

Article
Araujo,J;Bentz,W;Cameron,PJ
THEORETICAL COMPUTER SCIENCE

2013
498

45170
10.1016/j.tcs.2013.06.016