Equivalences among various logical frameworks of partial algebras (1995)

by T Mossakowski
Venue:Computer Science Logic. 9th Workshop, CSL'95