A. Ciabattoni, F. Genco:
"Embedding formalisms: hypersequents and two-level systems of rules";
Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216.
http://publik.tuwien.ac.at/files/publik_256378.pdf