@article{oai:tsukuba.repo.nii.ac.jp:00019844,
 author = {西村, 泰一 and NISHIMURA, Hirokazu},
 issue = {2},
 journal = {Publications of the Research Institute for Mathematical Sciences},
 month = {},
 pages = {847--858},
 title = {Semantical Analysis of Constructive PDL},
 volume = {18},
 year = {1982},
 yomi = {ニシムラ, ヒロカズ}
}