巴斯蒂安·希伦;约翰·杰林 认识战略。 （英语） Zbl 1294.68097号 Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，91-106（2009）。MSC公司：2012年第68季度 65年第68季度 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{B.Heeren}和\textit{J.Jeuring}，电子。理论注释。计算。科学。237、91——106（2009年；Zbl 1294.68097） 全文： 内政部 OA许可证
巴斯蒂安·希伦;约翰·杰林 交互式练习助手中的标准形式。 （英语） Zbl 1247.97039号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，325-340（2009）。MSC公司：97单位50 68瓦30 97D60型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Heeren｝和\textit｛J.Jeuring｝，Lect。注释计算。科学。5625325--340（2009年；Zbl 1247.97039） 全文： 内政部