Mac Donnell, Patricio <br/><br/>
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden 

<br/><br/><label>Standard No.: </label>DIF-M4364