TY - GEN AU - Weinbach,Natalia L. TI - Una extensión de la programación en lógica que incluye eventos y comunicación ER -