J. Kosztolányi, Z. Kovács, and E. Nagy, “Decomposition of triangles into isosceles triangles II: complete solution of the problem by using a computer”, Teach. Math. Comp. Sci., vol. 2, no. 2, pp. 275–300, Dec. 2004, doi: 10.5485/TMCS.2004.0059.