Masako Takahashi Yohji Akama Sachio Hirokawa Normal Proofs and Their Grammar. 144-153 1996 125 Inf. Comput. 2 db/journals/iandc/iandc125.html#TakahashiAH96