Formal Equivalence Analysis.

Francisco Jos Valverde Albacete, Carmen Pelez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego

Browse the full EUSFLAT paper archive.