https://www.u-cursos.cl/ingenieria/2012/1/CC5104/1/material_docente/o/415078
5-reasoning about evaluation.pdf