普洛格，B。;韦塞林克，J.W。;威廉姆斯，T.A.C。 通过实例化参数化布尔方程系统验证反应系统。 （英语） Zbl 1215.68133号 Inf.计算。 209，编号4，637-663（2011）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Ploeger}等人，《信息计算》。209，第4号，637--663（2011；Zbl 1215.68133） 全文： 内政部
van Dam，A。;普洛格，B。;威廉姆斯，T.A.C。 参数化布尔方程系统的实例化。 （英语） Zbl 1161.68596号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160440-454（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.van Dam}等人，Lect。注释计算。科学。5160440-454（2008年；Zbl 1161.68596） 全文： 内政部 链接