A Proof System for mCWQ.

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu

Browse the full COMPSAC paper archive.