@inproceedings{LATA-2007-BolligK,
	author        = "Benedikt Bollig and Dietrich Kuske",
	booktitle     = "{Proceedings of the First International Conference on Language and Automata Theory and Applications}",
	pages         = "163--174",
	publisher     = "{Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona}",
	title         = "{Muller Message-Passing Automata and Logics}",
	volume        = "Report 35/07",
	year          = 2007,
}