@article{RSMUP_1973__50__19_0,
     author = {Bressan, A.},
     title = {The interpreted type-free modal calculus $MC^{\infty }$. {II}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {19--57},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {50},
     year = {1973},
     zbl = {0285.02020},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1973__50__19_0/}
}