Equivalences among various logical frameworks of partial algebras

by Till Mossakowski · 1995