TY  - RPRT
TI  - Trace-Tree Magmas: Proof-Producing Infinite Countermodels and 28 New Order-Five Austin Classifications
AU  - Jiaming Zhao
AU  - Bing Wu
AU  - Xu Miao
PY  - 2026
UR  - https://arxiv.org/abs/2609.05690
ID  - 2609.05690
ER  -