On graph-theoretic Fibring of logics (2009)

by A Sernadas, C Sernadas, J Rasga, M Coniglio
Venue:Journal of Logic and Computation