贝内迪克特·博利格;玛丽·福廷;保罗·加斯廷 通信有限状态机、一阶逻辑和无星命题动态逻辑。 （英语） Zbl 1464.68150号 J.计算。系统。科学。 115, 22-53 (2021).MSC公司：65年第68季度 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，《计算杂志》。系统。科学。115、22-53（2021年；Zbl 1464.68150） 全文： 内政部
贝内迪克特·博利格;玛丽·福廷;保罗·加斯丁 通信有限状态机和双变量逻辑。 （英语） Zbl 1487.68140号 Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第17条，第14页（2018年）。MSC公司：65年第68季度 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。96，第17条，第14页（2018；Zbl 1487.68140） 全文： 内政部 arXiv公司