F. T. Sautter, “Draft of a proof theory for syllogistic”, Rev Cognitio, vol. 18, no. 1, pp. 111–124, Jul. 2017.