A User's Guide for the Reduction System -RED (1994)

by Werner E Kluge
Venue:Inst. fur Informatik und praktische Mathematik, Universitat