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 -