Semántica declarativa trivaluada para la programación en lógica rebatible - Cecchi, Laura Andrea (WICC 2003 [CD-ROM])