@inproceedings{DLT-2016-Duck,
	author        = "Stefan Dück",
	booktitle     = "{Proceedings of the 20th International Conference on Developments in Language Theory}",
	doi           = "10.1007/978-3-662-53132-7_13",
	isbn          = "978-3-662-53131-0",
	pages         = "151--163",
	publisher     = "{Springer}",
	title         = "{Weighted Automata and Logics on Infinite Graphs}",
	year          = 2016,
}