托姆·吕维思 动态算法中逻辑收缩的约束处理规则的合理性：理论、实现和复杂性。 （英语） Zbl 1471.68049号 芬丹。通知。 173，第4期，253-283（2020年）.MSC公司：68N17号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Frühwirth}，芬丹。通知。173，第4号，253--283（2020；Zbl 1471.68049） 全文： 内政部
丹尼尔·加尔;托姆·吕维思 认知体系结构ACT-R的操作语义及其到约束处理规则的转换。 （英语） Zbl 1407.68094号 ACM事务处理。计算。日志。 第19条第3款第22条第42页（2018年）.MSC公司：68甲19 68问题55 91E10型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Gall｝和\textit｛T.Frühwirth｝，ACM翻译。计算。日志。19，第3号，第22条，第42页（2018；Zbl 1407.68094） 全文： 内政部 arXiv公司
阿米拉·扎基;Abdennadher，苗条;托姆·吕维思 结合正向传播和反向传播。 （英语） Zbl 1471.68044号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 307-322 (2015).MSC公司：68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Zaki}等人，Lect。注释计算。科学。9322307--322（2015；Zbl 1471.68044） 全文： 内政部