Speed-up for propositional Frege systems via generalizations of proofs Jan Krajíček (1989) Commentationes Mathematicae Universitatis Carolinae
Společný spůsob dokazování různých pouček a vzorců. [I.] Cornelius Plch (1881) Časopis pro pěstování mathematiky a fysiky
Společný spůsob dokazování různých pouček a vzorců. [II.] Cornelius Plch (1881) Časopis pro pěstování mathematiky a fysiky
Sur la limite du degré des groupes primitifs qui contiennent une substitution donnée. Camille Jordan (1875) Journal für die reine und angewandte Mathematik