Characteristic formulae (1989)

by B Steffen
Venue:LNCS