理查德·斯塔特曼 亨克·巴伦德雷格特 Plotkin-Terms的应用：封闭项的划分和形态。 565-575 1999 9 J.功能。程序。 5 db/journes/jfp/jfp9.html#统计人B99 https://doi.org/10.1017/s0956796899003548