Huerta, M. P.; Edo, P. I.; Amorós, R.; Arnau, J. Encoding Scheme for the Analysis of Resolutions of Conditional Probability Problems. RELIME 2016, 19 (3), 335-362. https://doi.org/10.12802/relime.13.1934.