by Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
Reference:
The Basics of Display CalculiTim Lyon, Christian Ittner, Timo Eckhardt, Norbert GratzlKriterion – Journal of Philosophy, volume 31, number 2, pages 55-100, 2017.
Bibtex Entry:
@Article{bibkey,
title = {The Basics of Display Calculi},
author = {Tim Lyon and Christian Ittner and Timo Eckhardt and Norbert Gratzl},
journal = {Kriterion -- Journal of Philosophy},
pages = {55-100},
volume = {31},
number = {2},
year = {2017},
issn = {10198288}
}