Schwartz, Y., and G. Tourlakis. “On the Proof-Theory of a First-Order Extension of GL”. Logic and Logical Philosophy, vol. 23, no. 3, Sept. 2013, pp. 329–363, doi:10.12775/LLP.2013.030.