@@ -1,11 +1,11 @@
-@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}
-
+@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}
+