Details:

Title	Redlog User Manual
Author(s)	Andreas Dolzmann, A. Seidl, Thomas Sturm
Type	Technical Report, Misc
Abstract	This document serves as a user guide describing the usage of redlog from the algebraic mode of reduce.
Length	56
File
Language	English
Year	2004
Month	April
Edition	0
Translation	No
Refereed	No