曼弗雷德·施密特·沙乌 分布式统一的决策算法。 （英语） Zbl 0912.68060号 西奥。计算。科学。 208，编号1-2，111-148（1998）.MSC公司：68瓦10 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauß}，Theor。计算。科学。208，编号1--2，111-148（1998；Zbl 0912.68060） 全文： DOI程序
曼弗雷德·施密特·沙乌 分布式统一的算法。 （英语） Zbl 1503.03020号 Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 287-301 (1996).MSC公司：03B35型 03B25号 03C05号机组 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。1103287--301（1996年；Zbl 1503.03020） 全文： DOI程序 链接