Schroeder-Heister, Peter, cFrege and the Resolution Calculusd, History and Philosophy of Logic 18 (1997), 953108
V. Peckhaus, ZbMATH Open, Zbl. 0889.03002 (1998).