(1)
Schwartz, Y.; Tourlakis, G. On the Proof-Theory of a First-Order Extension of GL. LLP 2013, 23, 329–363.