Relview --- A computer system for the manipulation of relations (1993)

by R Berghammer, G Schmidt
Venue:Proc. 3rd Conf. on Algebraic Methodology and Software Technology (AMAST 93), University of Twente, The