Sequent Calculi for First-order ST. - Paoli, Francesco; Přenosil, Adam (Journal of Philosophical Logic, 2024)