TY  - GEN
AU  - Cobo,María Laura
TI  - Programación en lógica temporal basada en los operadores since y until
ER  -