@Manual{DSS:04b, title = {REDLOG User Manual}, author = {Dolzmann, Andreas and Seidl, Andreas and Sturm, Thomas}, year = 2004, month = apr, note = {Edition 3.0}, url = {http://www.fmi.uni-passau.de/~seidl/publications/DSS04b.pdf} }