Termination of Narrowing: Automated Proofs and Modularity Properties

Aquesta tesi apareix a les col·leccions següents