File r37/packages/misc/compact.bib artifact e876c3f950 part of check-in 2f3b3fd537
@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}