File r36/doc/COMPACT.BIB artifact e876c3f950 part of check-in f2fda60abd
@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}