TY  - GEN
AU  - Cobo,María Laura
TI  - EMTPL and its relation to first order logic
ER  -