TY  - GEN
AU  - Cobo,María Laura
TI  - Fundamentos lógicos e implementación de una extensión a Temporal Prolog
ER  -