First-Order vs. Second-Order Encodings for LTL

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Browse the full TAMC paper archive.