TY - CONF T1 - Automated Reasoning in Higher-Order Regular Algebra. JO - RAMICS UR - https://doi.org/10.1007/978-3-642-33314-9 PY - 2012/01/01 AU - Armstrong A AU - Struth G ED - Kahl W ED - Griffin TG PB - Springer SN - 978-3-642-33313-2 VL - 7560 SP - 66 EP - 81 Y2 - 2025/03/16 ER -