希思，昆廷;戴尔·米勒 模型检验的证明理论。 （英语） Zbl 1468.03078号 J.汽车。推理 63，第4号，857-885（2019）.MSC公司：第03页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛Q.Heath｝和\textit｛D.Miller｝，J.Autom。推理63，No.4，857--885（2019；Zbl 1468.03078） 全文： DOI程序 哈尔
希思，昆廷;戴尔·米勒 模型检验的证明理论：扩展摘要。 （英语） Zbl 1483.03034号 Cervesato，Iliano（编辑）等人，《第四届线性国际研讨会论文集》，2016年6月25日，葡萄牙波尔图。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2381-10（2017）。MSC公司：第03页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Heath}和\textit{D.Miller}，电子。程序。西奥。计算。科学。（EPTCS）238，1--10（2017；Zbl 1483.03034） 全文： arXiv公司 链接