Establecimiento y verificación de la consistencia en Dome: un caso de estudio - Cabarcas, Daniel (Universidad Nacional de Colombia, 2006)