Mihova, V., and J. Ninova. “DIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM”. Ann. Sofia Univ. Fac. Math. And Inf., vol. 103, Dec. 2016, pp. 105-21, https://annual.uni-sofia.bg/index.php/fmi/article/view/59.