A General Schema for Bilateral Proof Rules. - Simonelli, Ryan (Journal of Philosophical Logic, 2024)