托马斯·普莱斯;马克·泽顿 在单词的一级量词交替层次结构中更高。 （英语） Zbl 1427.03050号 美国临床医学杂志 66，第2号，第12条，65页（2019年）.MSC公司：05年3月 03B25号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}和\textit{M.Zeitoun}，J.ACM 66，第2号，第12条，65 p.（2019年；Zbl 1427.03050） 全文： 内政部 arXiv公司
托马斯·普莱斯 用两个量词交替分隔正规语言。 （英语） Zbl 1528.03173号 日志。方法计算。科学。 14，第4号，第16号论文，58页（2018年）.MSC公司：05年3月 03B10号机组 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}，日志。方法计算。科学。14，第4号，第16号论文，58页（2018；Zbl 1528.03173） 全文： 内政部 arXiv公司
约塔姆·M·Y·费尔德曼。;帕东，奥德;尼尔·伊梅尔曼;穆利·萨吉夫;沙龙·肖姆 用于检查归纳不变量的有界量词实例化。 （英语） Zbl 1452.68119号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 76-95 (2017).MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.M.Y.Feldman}等人，Lect。注释计算。科学。10205，76-95（2017；Zbl 1452.68119） 全文： 内政部 arXiv公司
安德烈亚斯·克雷布斯;霍华德·斯特劳宾 二元逻辑中交替层次的有效表征。 （英语） 兹比尔1407.03054 ACM事务处理。计算。日志。 第18号第4条第30条第22页（2017年）.MSC公司：05年3月 03B20型 03B25号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}和\textit{H.Straubing}，ACM翻译。计算。日志。18，第4号，第30条，第22页（2017；Zbl 1407.03054） 全文： 内政部 链接
安德烈亚斯·克雷布斯;霍华德·斯特劳宾 二元逻辑中交替层次的有效表征。 （英语） Zbl 1354.03051号 D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，86-98（2012）。MSC公司：05年3月 03B20型 03B25号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}和\textit{H.Straubing}，LIPIcs——莱布尼茨国际程序。通知。18、86——98（2012；Zbl 1354.03051） 全文： 内政部 arXiv公司
曼弗雷德·库夫莱特纳;亚历山大·劳瑟 大约是一点。 （英语） Zbl 1308.68071号 发现的国际期刊。计算。科学。 23，第6期，1323-1339（2012）.MSC公司：65年第68季度 05年3月 03B10号机组 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kufleitner}和\textit{A.Lauser}，国际法学杂志发现。计算。科学。23，第6号，1323--1339（2012；Zbl 1308.68071） 全文： 内政部