萨古·本奈姆 本尼迪克特 维托尔德·查拉托尼克 伊曼纽尔·基隆斯基 拉斯蒂斯拉夫·伦哈特 菲利普·马佐维耶基 詹姆斯·沃雷尔0001 有限树上二元逻辑的复杂性。 74-88 2013 ICALP（二） https://doi.org/10.1007/978-3642-39212-2_10 conf/icalp/2013-2 db/conf/icalp/icalp2013-2.html#BenaimBCKLMW13