@article{journals/corr/abs-cs-0412101,
	title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability},
	author = {Franz Baader and Stephan Tobies},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0412.html#abs-cs-0412101},
	volume = {abs/cs/0412101},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/282d6ed68e019cdec9715e2b44b58bb25/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs/0412101}, date = {2008-01-02},
	keywords = {dblp }
}