A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.

Franz Baader, Silvio Ghilardi, Cesare Tinelli

Browse the full CADE paper archive.