迈克尔·多马拉茨基;凯·萨洛马 基于轨迹的方程的可判定性。 （英语） Zbl 1079.68049号 西奥。计算。科学。 345，编号2-3，304-330（2005）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}和\textit{K.Salomaa}，Theor。计算。科学。345，编号2--3，304-330（2005；Zbl 1079.68049） 全文： 内政部
迈克尔·多马拉茨基;凯萨洛玛 轨迹的受限集合和混洗分解的可判定性。 （英语） Zbl 1080.68053号 发现的国际期刊。计算。科学。 16，第5期，897-912（2005）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}和\textit{K.Salomaa}，国际期刊发现。计算。科学。16，第5号，897--912（2005；Zbl 1080.68053） 全文： 内政部
亚历山大·奥霍金;凯·萨洛马 具有统一轨迹集的上下文文法。 （英语） Zbl 1102.68050号 芬丹。通知。 64，编号1-4341-351（2005）.MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{K.Salomaa}，Fundam。通知。64，编号1--4，341--351（2005；Zbl 1102.68050） 全文： 链接
迈克尔·多马拉茨基（编辑）;亚历山大·奥霍金（编辑）;凯·萨洛马（编辑）;于盛（编辑） 自动机的实现和应用。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。 （英语） Zbl 1063.68004号 计算机科学课堂讲稿3317.柏林：施普林格出版社（ISBN 3-540-24318-6/pbk）。xii，第336页。(2005).MSC公司：68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Domaratzki}（ed.）等人，自动机的实现和应用。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。柏林：施普林格出版社（2005；Zbl 1063.68004） 全文： 内政部