Cecchi, Laura Andrea Semántica declarativa trivaluada para la programación en lógica rebatible - p. 9-13 Standard No.: DIF-M4949