TY  - GEN
AU  - Vancheret,Claudio A.
TI  - Un operador general de contracción para programas lógicos
ER  -