Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them. - Wasilewska, Anita (Mathematical Logic Quarterly, 1985)