@inproceedings{LATA-2007-BaaderHP,
	author        = "Franz Baader and Jan Hladik and Rafael Peñaloza",
	booktitle     = "{Proceedings of the First International Conference on Language and Automata Theory and Applications}",
	pages         = "67--78",
	publisher     = "{Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona}",
	title         = "{SI! Automata Can Show PSPACE Results for Description Logics}",
	volume        = "Report 35/07",
	year          = 2007,
}