@TechReport{BaaGT-RR-03,
  author =	 {Franz Baader and Silvio Ghilardi and Cesare Tinelli},
  title =	 {A New Combination Procedure for the Word Problem
                  that Generalizes Fusion Decidability Results in
                  Modal Logics},
  institution =	 {Department of Computer Science, The University of
                  Iowa},
  month =	 dec,
  year =	 2003,
  number =	 {03-03},
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BaaGT-RR-03.pdf}
}