Takeshi Yamaguchi Ryo Kashima On the Dif%culty of Writing Out Formal Proofs in Arithmetic. 328-332 1997 43 Math. Log. Q. db/journals/mlq/mlq43.html#YamaguchiK97