很多,费利普 签名CNF公式中的2-SAT问题。 (英语) Zbl 0992.03014号 多重-有价值的日志。 5,第4号,307-325(2000).MSC公司:03B25号 03B50号 65年第68季度 2015年3月1日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Manyà},穆尔特-有价值的日志。5,第4号,307--325(2000;Zbl 0992.03014)
瓦格纳,H。 无限值时间逻辑的非公理性和不可判定性。 (英语) Zbl 0873.03010号 多重-有价值的日志。 2,第1期,47-58(1996). 审核人:P.扬查尔(俄斯特拉发) MSC公司:03B25号 03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wagner},穆特-有价值的日志。2,编号1,47-58(1996年;Zbl 0873.03010)