A mechanically assisted constructive proof in category theory (1990)

by James A Altucher, Prakash Panangaden
Venue:In Proceedings of the 10th International Conference on Automated Deduction