Amílcar Sernadas
Preprints repository at the Unit of Logic and Computation