Vancheret, Claudio A. Un operador general de contracción para programas lógicos Standard No.: DIF-M3406