Mara Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer
Browse the full JELIA paper archive.