R. Ramanayake, A. Ciabattoni:
"Power and Limits of Structural Display Rules";
ACM Transactions on Computational Logic, 3 (2016), 17.
http://dx.doi.org/10.1145/2874775Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_252839.pdf