菲利普·魏斯；尼尔·伊梅尔曼 词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03019号 日志。方法计算。科学。 5，第3期，论文4，23页（2009年）.MSC公司：03C13号机组 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Weis}和\textit{N.Immerman}，Log。方法计算。科学。5，第3号，论文4，23页（2009年；Zbl 1168.03019） 全文： 内政部 arXiv公司
魏斯，P。；伊梅尔曼，N。 词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03328号 Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日，第21届国际研讨会，2007年CSL，第16届EACSL年会，瑞士卢桑。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646343-357（2007）。MSC公司：03C13号机组 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Weis}和\textit{N.Immerman}，莱克特。注释计算。科学。4646、343--357（2007年；Zbl 1168.03328） 全文： 内政部