Automating Proofs in Category Theory (2006)

by D Kozen, C Kreitz, E Richter