Jiang Liu等：通过变量变换提取基本混合系统。(2014) 日记账/corr/0009ZZZ14 1403.7022 用变量变换抽象基本混合系统。 4 姜柳0009 1 詹乃军（Naijun Zhan） 2 赵恒军 三 邹亮 4 CoRR公司 CoRR公司 abs/1403.7022 2014 dblp记录“journals/corr/0009ZZZ14”的RDF数据的来源信息 2018年8月13日16:48:13+0200