File r34.1/doc/compact.bib artifact 59d301d978 part of check-in 255e9d69e6
@INPROCEEDINGS{Hornfeldt:82, AUTHOR = "L. Hornfeldt", TITLE = "A Sum-Substitutor used as Trigonometric Simplifier", BOOKTITLE = "Proc. {EUROCAM} '82", PAGES = "188-195", SERIES = "Lecture Notes on Comp. Science", NUMBER = 144, PUBLISHER = "Springer-Verlag", ADDRESS = "Berlin", YEAR = 1982}