米凯尔·里特里 在函数库中将类型用作搜索键。 （英语） Zbl 1155.68452号 J.功能。程序。 1，编号1，71-89（1991）.MSC公司：68问题65 68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Rittri}，J.Funct。程序。1，第1号，71--89（1991；Zbl 1155.68452） 全文： 内政部
米凯尔·里特里 通过类型的等式匹配检索库标识符。 （英语） Zbl 1509.68044号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 603-617 (1990).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Rittri}，莱克特。注释计算。科学。449、603--617（1990年；Zbl 1509.68044） 全文： 内政部