Rudolf Berghammer Using RELVIEW to solve problems on relation-based discrete structures. 19-23 1998 conf/RelMiCS/1998 RelMiCS db/conf/RelMiCS/RelMiCS1998.html#Berghammer98