Mauricio Ayala-Rincón: Formalization of nominal equational reasoning in PVS - nominal unification External Video-URL https://www.youtube.com/watch?v=240cp0pHPUs Preview-Image Search Engine Exclude no
