NOVA Math Publications Algebra and Logic Article Tabuada,G DOCUMENTA MATHEMATICA 2014 19 1 121-139 Tags : Algebra and Logic