On Automating the Calculus of Relations.

Peter Hfner, Georg Struth

Browse the full CADE paper archive.