@inproceedings{conf/dagstuhl/DowneyKKLV07,
	title = {07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.},
	author = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
	booktitle = {Algorithmic-Logical Theory of Infinite Structures},
	crossref = {conf/dagstuhl/2007P7441},
	editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#DowneyKKLV07},
	volume = {07441},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2057cbbc34cdb81bf066e7de6cc3ea04e/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1411},
	keywords = {dblp }
}