Richard Statman：《组合器的有效减少和转换策略》。(1997) conf/rta/统计97 10.1007/3-540-62950-5_79 组合器的有效简化和转换策略。 1 理查德·斯塔特曼 1 299-307 区域贸易协定 区域贸易协定 1997 1997 dblp记录“conf/rta/Statman97”的RDF数据的来源信息 2017-05-22T17:11:15+0200