Programación en lógica rebatible : Un enfoque declarativo - Cecchi, Laura Andrea