杰拉德·J·霍尔兹曼。;多龙·贝利德;米哈利斯·亚纳卡基斯 嵌套深度优先搜索。 （英语） Zbl 0880.68084号 Grégoire，Jean-Charles（编辑）等人，《SPIN验证系统》。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。32, 23-31 (1997).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Holzmann}等人，DIMACS，序列号。离散数学。西奥。计算。科学。32、23-31（1997年；Zbl 0880.68084）
Jean-Charles，格雷戈里（编辑）;杰拉德·J·霍尔兹曼。（编辑）;Doron A.Peled。（编辑） SPIN验证系统。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。 （英语） Zbl 0868.00062号 DIMACS系统。离散数学和理论计算机科学系列. 32. 普罗维登斯，RI：美国数学学会（AMS）。xii，203页（1997年）。MSC公司：00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Grégoire}（编辑）等人，《SPIN验证系统》。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0868.00062）
Doron A.Peled。（编辑）;沃恩·R·普拉特。（编辑）;杰拉德·J·霍尔兹曼。（编辑） 验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿大学。 （英语） Zbl 0863.00044号 DIMACS系统。离散数学和理论计算机科学系列. 29. 普罗维登斯，RI：美国数学学会（AMS）。xiv，403页（1997年）。MSC公司：00B25型 68-06 2010年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（ed.）等人，验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0863.00044）