TY - JOUR T1 - Automated analysis of regular algebra JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2012/01/01 AU - Foster S AU - Struth G ED - DO - DOI: 10.1007/978-3-642-31365-3_22 VL - 7364 LNAI SP - 271 EP - 285 Y2 - 2025/07/22 ER -