Longchun Wang, Qingguo Li. A representation of proper BC domains based on conjunctive sequent calculi. Mathematical Structures in Computer Science, 30(1):1-13, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.