@收款{zbMATH07810558，作者={Baaz，Matthias and Loli，Anela}，标题={有效{Skolemization}}，BookTitle={逻辑、语言、信息和计算。第29届国际研讨会，WoLLIC 2023，哈利法克斯，NS，加拿大，2023年7月11-14日。诉讼}，ISBN＝{978-3-031-39783-7；978-3-031-39784-4}，页码={69--82}，年份={2023}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-031-39784-4_5}，关键词={03B70}，zbMATH={7810558}}