Volker Haarslev、Kay Hidde、Ralf Möller和Michael 韦塞尔。 RacerPro知识表示和推理 系统 . 语义Web期刊 , 3(3):267–277, 2012. Bibtex条目 纸类 (PDF格式) M.Wessel和R.Möller。 基于本体的信息系统的灵活软件体系结构 . 在 应用逻辑杂志,经验主义专刊 成功的系统 , 7(1): 75–99, 2009. Biptex条目 纸张(PDF) V.Haarslev和R.Möller。 描述逻辑实例检索的可扩展性研究 . 自动推理杂志 , 41(2):99–142, 2008. Biptex条目 纸张(PDF) V.Haarslev和R.Möller。 赛车系统描述 . 在 国际自动化联合会议记录 推理,IJCAR’2001 : 701-705, 斯普林格,2001年。 Biptex条目 纸张(PDF)