Maribel Fernández

Nominal Unification

by Guilherme Borges Brandão, Thomas Ammer, Daniele Nantes Sobrinho, Mauricio Ayala-Rincón, Christian Urban, Maribel Fernández and Mohammad Abdulaziz