Mnacho Echenim公司 半径Iosif 尼古拉斯·佩尔蒂埃 带有未解释谓词的Bernays-Schönfinkel-Ramsey分离逻辑类。 19:1-19:46 2020 21 ACM事务处理。计算。日志。 三 https://doi.org/10.1145/3380809 db/journals/tocl/tocl21.html#EchenimIP20