Heterogeneous fibring of deductive systems via abstract proof systems (2005)

by Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas