Programación en Lógica Rebatible : Una semántica rebatible - Cecchi, Laura Andrea (WICC 2002 [CD-ROM])