@InCollection{zbMATH07551708，作者={Baaz，Matthias and Lolic，Anela}，标题={Andrews{Skolemization}可能会非基本地缩短分辨率证明}，BookTitle={计算机科学的逻辑基础。国际研讨会，LFCS 2022，美国佛罗里达州迪尔菲尔德海滩，2022年1月10-13日。诉讼}，国际标准图书编号={978-3-030-93099-8；978-3-0.30-93100-1}，页码={9--24}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-93100-1_2}，关键词＝｛03B70｝，zbMATH={7551708}}