Automating proofs in category theory (2006)

by D Kozen, C Kreitz, E Richter
Venue:in Proceedings of the 3rd International Joint Conference Automated Reasoning (IJCAR ’06