J. Bolender, “Three types of logical form”, Veritas, vol. 62, no. 3, pp. 481–507, Dec. 2017.