File r36/doc/COMPACT.BIB from the latest check-in

@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}