Characteristic Formulae (1989)

by B Steffen
Venue:In Proceedings ICALP'89, LNCS 372