Normal proofs and their grammar (1996)

by M Takahashi, Y Akama, S Hirokawa
Venue:Inform. Comput