TY  - GEN
AU  - Mac Donnell,Patricio
TI  - Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
ER  -