Buniatyan, M. P., S. V. Grigoryan, and E. H. Danielyan. “Expert Knowledge-Based RGT Solvers for Software Testing”. Mathematical Problems of Computer Science, vol. 59, May 2023, pp. 45-56, doi:10.51408/1963-0101.