| A certified functional nominal C-unification algorithm M Ayala-Rincón, M Fernández, GF Silva, D Nantes-Sobrinho International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 8 | 2019 |
| A certified algorithm for AC-unification M Ayala-Rincón, M Fernández, GF Silva, DN Sobrinho 7th International Conference on Formal Structures for Computation and …, 2022 | 4 | 2022 |
| Formalising nominal C-unification generalised with protected variables M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, GF Silva, ... Mathematical Structures in Computer Science 31 (3), 286-311, 2021 | 3 | 2021 |
| Formalising Nominal AC-Unification M Ayala-Rincón, M Fernández, GF Silva 33rd International Workshop on Unification Dortmund, June 24, 2019, 1, 2019 | | 2019 |
| Why We Need Structured Proofs in Mathematics M Ayala-Rincón, GF Silva | | |
