Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
ANDERSEN Henrik Reif,A compositional proof system for the modal μ-calculus,"Proc. of ninth Annual IEEE Symposium on Logic in Computer Science, 1994",,,1994,,,,https://cir.nii.ac.jp/crid/1574231875331460224,