NOVA Math Publications Algebra and Logic Article Cain,AJ THEORETICAL COMPUTER SCIENCE 2009 410 47-49 5022-5038 10.1016/j.tcs.2009.07.054 Tags : Algebra and Logic