Automating proofs in category theory (0)

by D Kozen, C Kreitz, E Richter
Venue:In: Proc. of IJCAR’06, LNCS