V. Mihova and J. Ninova, “DIRECT AND INDIRECT METHODS OF PROOF. THE LEHMUS-STEINER THEOREM”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 103, pp. 105–121, Dec. 2016.