@TechReport{BaaderTobies-LTCS-01-03,
  author =	 {F.~Baader and S.~Tobies},
  title =	 {The Inverse Method Implements the Automata Approach for Modal
                  Satisfiability},
  institution =	 {LuFG Theoretical Computer Science, RWTH Aachen},
  year =	 2001,
  type =	 {LTCS-Report},
  number =	 {01-03},
  address =	 {Germany},
  note =	 {See
                  http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.}
}