Schwartz, Yehuda, and George Tourlakis. 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.