Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
TADA Mitsuru,Division in the Theory S02+ of Bounded Arithmetic.,Interdisciplinary Information Sciences,1340-9050,The Editorial Committee of the Interdisciplinary Information Sciences,1997,3,2,81-86,https://cir.nii.ac.jp/crid/1390282679413083264,https://doi.org/10.4036/iis.1997.81