Statistical methods for comparing theorem proving algorithms. - Ivan Kramosil; Zbigniew Zwinogrodzki (Kybernetika, 1974)

Equivalence and Optimization of Recursive Program Schemata. - Zbigniew Zwinogrodzki (MFCS, 1976)