On the Fine-Structure of Regular Algebra. - Foster, Simon; Struth, Georg (Journal of Automated Reasoning, 2015)