@article{article, title = {{On the Fine-Structure of Regular Algebra}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2014}}, month = {{12}}, author = {{Foster S and Struth G}}, doi = {{10.1007/s10817-014-9318-9}}, volume = {{54}}, journal = {{Journal of Automated Reasoning}}, issue = {{2}}, pages = {{165-197}}, note = {{Accessed on 2025/06/20}}}