劳伦特·巴托尔迪 自动机群Engel性质的算法可判定性。 （英语） Zbl 1477.20067号 库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日，在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 29-40 (2016).MSC公司：2010年1月20日 20层45层 20-08 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bartholdi}，莱克特。注释计算。科学。9691，29--40（2016年；Zbl 1477.20067） 全文： 内政部 arXiv公司
伊内斯·克利曼 自动机半群：两态情形。 （英语） Zbl 1345.20074号 理论计算。系统。 58，第4号，664-680（2016）. 审核人：雅克·海诺（塔林） MSC公司：20立方米 65年第68季度 2005年5月20日 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{I.Klimann}，理论计算。系统。58，第4号，664--680（2016；Zbl 1345.20074） 全文： 内政部
伊内斯·克利曼;马蒂厄·皮坎廷;德米特罗·萨楚克 轨道自动机作为一种新的工具来解决自动机组中的顺序问题。 （英语） Zbl 1383.20018号 J.代数 445, 433-457 (2016).MSC公司：2010年1月20日 20立方米 20E08年 70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Klimann}等人，J.Algebra 445，433--457（2016；Zbl 1383.20018） 全文： 内政部 arXiv公司