TY - GEN AU - Cecchi,Laura Andrea TI - Semántica declarativa trivaluada para la programación en lógica rebatible ER -