Schwartz, Yehuda, i George Tourlakis. „On the Proof-Theory of a First-Order Extension of GL”. Logic and Logical Philosophy, t. 23, nr 3, wrzesień 2013, s. 329–363, doi:10.12775/LLP.2013.030.