2001], Normal form transformations (0)

by M Baaz, U Egly, A Leitsch
Venue:I, Elsevier Science