Alonderis, Romas. 2022. “More Efficient Proof-Search for Sequents of Temporal Logic”. Lietuvos Matematikos Rinkinys 63 (A): 1–8. https://doi.org/10.15388/LMR.2022.29752.