罗尔夫·巴科芬；拉尔夫·特里宁 如何赢得具有功能的游戏。 （英语） Zbl 0912.68018号 Inf.计算。 142，第1期，76-101（1998）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Backofen｝和\textit｛R.Treinen｝，信息计算。142，编号1，76--101（1998；Zbl 0912.68018） 全文： 内政部 链接
罗尔夫·巴科芬；格特·斯莫尔卡 一个完整的递归特征理论。 （英语） Zbl 0873.68024号 西奥。计算。科学。 146，编号1-2，243-268（1995）.MSC公司：68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{G.Smolka}，Theor。计算。科学。146，编号1--2，243--268（1995；Zbl 0873.68024） 全文： 内政部 arXiv公司
罗尔夫·巴科芬；拉尔夫·特里宁 如何赢得具有功能的游戏。 （英语） Zbl 1495.68045号 Jouannaud，Jean-Pierre（编辑），计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。845, 320-335 (1994).MSC公司：68第05页 03B70号 03C13号机组 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{R.Treinen}，莱克特。注释计算。科学。845320--335（1994年；Zbl 1495.68045） 全文： 内政部