@article{journals/fuin/GastinK07,
	title = {Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.},
	author = {Paul Gastin and Dietrich Kuske},
	journal = {Fundam. Inform.},
	number = {1-3},
	pages = {169-197},
	url = {http://dblp.uni-trier.de/db/journals/fuin/fuin80.html#GastinK07},
	volume = {80},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f186a416b95e6fe63dd8c2ced941488f/dblp},
	description = {dblp},
	ee = {http://iospress.metapress.com/content/tn420q6884156753/}, date = {2008-08-06},
	keywords = {dblp }
}