Homomorphisms of many sorted algebras (1994)

by Małgorzata Korolkiewicz
Venue:Journal of Formalized Mathematics