Hypersequents and Systems of Rules: Embeddings and Applications - Agata Ciabattoni; Francesco A. Genco (Commun. ACM, 2018)