@inproceedings{TheSoPo06, author = "Frank Thei{\ss} and Volker Sorge and Martin Pollet", title = "Interfacing to Computer Algebra via Term Indexing", booktitle = {Proceedings of Calculemus}, publisher = {Elsevier}, year = {2006} }