Guido Bertolotti Pierangelo Miglioli Daniela Silvestrini Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property. 501-536 1996 42 Math. Log. Q. db/journals/mlq/mlq42.html#BertolottiMS96