Publication [ZhangHLS16] Reasoning about Connectors in Coq Zhang, X.; Hong, W.; Li, Y. and Sun, M. In FACS, pages 172-190, LNCS 10231, 2016.Downloads: bib
