@inproceedings{inproceedings, title = {{Automated Reasoning in Higher-Order Regular Algebra.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/978-3-642-33314-9 }}, year = {{2012}}, month = {{1}}, author = {{Armstrong A and Struth G}}, isbn = {{978-3-642-33313-2}}, volume = {{7560}}, journal = {{RAMICS}}, pages = {{66-81}}, note = {{Accessed on 2025/05/25}}}