科林·赫什;托比斯，斯蒂芬 一种针对集团保护碎片的表格算法。 （英语） Zbl 1031.03034号 Wolter，Frank（编辑）等人，《模态逻辑的进展》。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4-7日。新加坡：世界科学。257-277 (2002).MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Hirsch}和\textit{S.Tobies}，in：模态逻辑的进展。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4-7日。新加坡：世界科学。257--277（2002；Zbl 1031.03034）
托比斯，斯蒂芬 分级模态逻辑的空间推理。 （英语） Zbl 0992.03028号 J.日志。计算。 11，第1号，85-106（2001）. 审核人：N.Zamov（喀山） MSC公司：03B45号 65年第68季度 03B35型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tobies}，J.Log。计算。11，第1号，85--106（2001；Zbl 0992.03028） 全文： DOI程序 arXiv公司
伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯，斯蒂芬 非常富有表现力的描述逻辑的实用推理。 （英语） Zbl 0967.03026号 日志。J.IGPL公司 8，第3期，239-263（2000）. 审核人：扬·谢夫拉内克（布拉迪斯拉发） MSC公司：03B70号 68立方英尺 03B42号 68吨15 03B35型 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}等人，日志。J.IGPL 8，第3号，239--263（2000；Zbl 0967.03026） 全文： DOI程序 链接
托比斯，S。 表达描述逻辑中具有基数限制和名词的推理的复杂性。 （英语） Zbl 0941.03029号 J.阿蒂夫。智力。研究（JAIR） 12, 199-217 (2000).MSC公司：03B70号 65年第68季度 68T27型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.托比斯}，J.阿蒂夫。智力。决议（JAIR）12199-217（2000年；兹bl 0941.03029）
伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯，斯蒂芬 表达描述逻辑的实用推理。 （英语） Zbl 0947.68134号 Ganzinger，Harald（编辑）等人，《编程逻辑和自动推理》。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1705, 161-180 (1999). 审核人：Heribert Vollmer（瓦茨堡） MSC公司：68T27型 03B25号 68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}等人，Lect。注释计算。科学。1705161-180（1999年；Zbl 0947.68134）
托比斯，斯蒂芬 分级模态逻辑的PSpace算法。 （英语） Zbl 0937.03012号 Ganzinger，Harald（编辑），自动扣除-CADE-16。第十六届国际会议，意大利特伦托，1999年7月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1632, 52-66 (1999).MSC公司：03B25号 03B45号 68立方英尺 68T27型 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tobies}，莱克特。注释计算。科学。1632、52-66（1999；Zbl 0937.03012）