Towards a Framework for Proving Termination of Maude Programs

Aquesta tesi apareix a les col·leccions següents