A Complete Proof Systems for QPTL

Yonit Kesten, Amir Pnueli

Browse the full LICS paper archive.