Products of many sorted algebras (1994)

by Beata Madras
Venue:Journal of Formalized Mathematics