@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00004900,
 author = {Shimura, Tatsuya},
 month = {Mar},
 title = {Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics},
 year = {1991}
}