B. Lellmann:
"Hypersequent Rules with Restricted Contexts for Propositional Modal Logics";
Theoretical Computer Science, 656 (2016), S. 76 - 105.
http://dx.doi.org/10.1016/j.tcs.2016.10.004Elektronische Version der Publikation:
http://dx.doi.org/10.1016/j.tcs.2016.10.004