A Complete Proof System for HyperLTL.

Naijun Zhan, Wen Tang, Dimitar P. Guelev

Browse the full IJCAR paper archive.