Mnacho Echenim公司 半径Iosif 尼古拉斯·佩尔蒂埃 任意域上的Bernays-Schönfinkel-Ramsey分离逻辑类。 242-259 2019 FoSSaCS公司 https://doi.org/10.1007/978-3-030-17127-8_14 conf/fossacs/2019 db/conf/fossacs/fossacs 2019.html#EchenimIP19