Cristina Sernadas José Luiz Fiadeiro Amílcar Sernadas Modular construction of logic knowledge bases: an algebraic approach. 37-59 1990 15 Inf. Syst. 1 db/journals/is/is15.html#SernadasFS90