NOVA Math Publications Algebra and Logic Article Tabuada,G MATHEMATISCHE ZEITSCHRIFT 2018 289 3-4 1281-1298 10.1007/s00209-017-1998-5 Tags : Algebra and LogicMathematics for Health