@article{oai:tsukuba.repo.nii.ac.jp:02000119,
 author = {西村, 泰一 and NISHIMURA, Hirokazu},
 journal = {zbMATH Open},
 month = {},
 title = {a review of Loop-type sequent calculi for temporal logic by Alonderis, R.; Pliuškevičius, R.; Pliuškevičienė, A.; Giedra, H.},
 year = {2021},
 yomi = {ニシムラ, ヒロカズ}
}