Equivalences among Various Logical Frameworks of Partial Algebras (1996)

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