Schwartz, Y., & Tourlakis, G. (2013). On the proof-theory of a first-order extension of GL. Logic and Logical Philosophy, 23(3), 329–363. https://doi.org/10.12775/LLP.2013.030