@article{oai:tsukuba.repo.nii.ac.jp:00016182,
 author = {Andou, Yuuki},
 issue = {1},
 journal = {Tsukuba Journal of Mathematics},
 month = {Jun},
 pages = {153--162},
 title = {A normalization-procedure for the first order classical natural deduction with full logical symbols},
 volume = {19},
 year = {1995}
}