恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉 QUBE：确定量化布尔公式可满足性的系统。 （英语） Zbl 0988.68598号 Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。2083, 364-369 (2001). 关于整个系列，请参见[Zbl 0968.00052号]. 引用于1审查引用于11文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：SPASS公司;魁北克++;QUBE公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，Lect。注释计算。科学。2083364-369（2001年；兹bl 0988.68598） 全文： 链接