@收款{zbMATH05374239，作者={Benzm{\“u}ller，Christoph和Paulson，Lawrence C.和Theiss，Frank和Fietzke，Arnaud}，标题={{低地球轨道}-{II} ——经典高阶逻辑的合作自动定理证明器。（{系统}描述）}，BookTitle={自动推理。第四届国际联合会议，IJCAR 2008，澳大利亚悉尼，2008年8月12-15日会议记录}，国际标准图书编号={978-3-540-71069-1}，页码={162--170}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-71070-7_14}，关键词={68T15}，zbMATH={5374239}，Zbl={1165.68446}}