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