Y. Fedorchenko, “The proof-structure of the transcendental deduction of categories”, Fildumka, no. 2, pp. 39–49, May 2017.