--- a/doc-src/manual.bib Sun May 22 14:51:01 2011 +0200
+++ b/doc-src/manual.bib Sun May 22 14:51:04 2011 +0200
@@ -624,6 +624,15 @@
publisher = {Wiley},
year = 1990}
+@article{waldmeister,
+ author = {Thomas Hillenbrand and Arnim Buch and Rolan Vogt and Bernd L\"ochner},
+ title = "Waldmeister: High-Performance Equational Deduction",
+ journal = JAR,
+ volume = 18,
+ number = 2,
+ pages = {265--270},
+ year = 1997}
+
@book{HopcroftUllman,author={John E. Hopcroft and Jeffrey D. Ullman},
title={Introduction to Automata Theory, Languages, and Computation.},
publisher={Addison-Wesley},year=1979}