[1]
Y. Schwartz and G. Tourlakis, “On the proof-theory of a first-order extension of GL”, LLP, vol. 23, no. 3, pp. 329–363, Sep. 2013.