Hao Yang, Anping He, Zhiwei Zhang, Shihan Yang, Yang Liu. Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. In Zhixiang Yin, Linqiang Pan, Xianwen Fang, editors, Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013, HuangShan, China, July 12-14, 2013. Volume 212 of Advances in Intelligent Systems and Computing, pages 233-237, Springer, 2013. [doi]