贾斯汀·沃德 加林·金梅尔 佩里·亚历山大 普鲁弗洛克：构建多型定理证明程序的框架。 423-426 2005 conf/kbse/2005 ASE公司 https://doi.org/10.1145/101908.1101985 db/conf/kbse/ase2005.html#WardKA05