Mnacho Echenim公司 半径Iosif 尼古拉斯·佩尔蒂埃 带一个选择器字段的Prenex分离逻辑。 409-427 2019 TABLEAUX公司 https://doi.org/10.1007/978-3-030-29026-9_23 conf/tableaux/2019 db/conf/tableaux/tableaux2019.html#EchenimIP19