Text this: Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.