author = { Chen, Ningning AND Zhu, Huibiao },

title = { A proof system of the CaIT calculus },

publisher = {Springer Science and Business Media LLC},

isbn = {2095-2228},

isbn = {2095-2236},

keywords = { General Computer Science , Theoretical Computer Science },

year = {2024},

url = { http://slubdd.de/katalog?TN_libero_mab2 }