O. W. Tatton-Brown, “Semantics and Completeness for Schematic Logic”, LLP, vol. 30, no. 2, pp. 227–280, Nov. 2020.