A unifying approach to algebraization of different logical systems (1994)

by Z Diskin
Venue:Frame Inform Systems, Riga, Report FIS/DBDL 9403