@misc{oai:tsukuba.repo.nii.ac.jp:00011431,
 author = {Hayashi, Susumu and 林, 晋},
 month = {},
 note = {1980, 【要旨】},
 title = {Derived rules of intuitionistic systems},
 year = {1981}
}