克里斯蒂亚诺·卡尔卡尼奥 菲利普·加德纳 马修·黑格 从分离逻辑到一阶逻辑。 395-409 https://doi.org/10.1007/978-3-540-31982-5_25 2005 conf/fossacs/2005 FoSSaCS公司 db/conf/fossacs/fossacs 2005.html#CalcagnoGH05