M. P. Buniatyan, S. V. Grigoryan, and E. H. Danielyan, “Expert Knowledge-Based RGT Solvers for Software Testing”, MPCS, vol. 59, pp. 45–56, May 2023.