TY  - JOUR

T1  - On the Fine-Structure of Regular Algebra

JO  - Journal of Automated Reasoning

PY  - 2014/12/03

AU  - Foster S

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/s10817-014-9318-9

PB  - Springer Science and Business Media LLC

VL  - 54

IS  - 2

SP  - 165

EP  - 197

Y2  - 2024/12/25

ER  -