The Inverse Method Implements the Automata Approach for Modal Satisfiability.

Franz Baader, Stephan Tobies

Browse the full CADE paper archive.