@article{journals/tocl/SchmidtH07,
	title = {The axiomatic translation principle for modal logic.},
	author = {Renate A. Schmidt and Ullrich Hustadt},
	journal = {ACM Trans. Comput. Log.},
	number = {4},
	url = {http://dblp.uni-trier.de/db/journals/tocl/tocl8.html#SchmidtH07},
	volume = {8},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/25d0e063cfd4b73591fa27f6c841a322d/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1276920.1276921}, date = {2007-10-23},
	keywords = {dblp }
}