M. E. Portillo-Quintanilla and W. R. Santos-Pineda, “State of the art on research in the resolution of logic and probability problems”, RECSP, vol. 6, no. 1, pp. 40–49, Jun. 2023.