Many sorted algebras (1994)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics