@article{KoeK25,
	title = {Backwards-{Reachability} for {Cooperating} {Multi}-{Pushdown} {Systems}},
	volume = {148},
	issn = {0022-0000},
	doi = {10.1016/j.jcss.2024.103601},
	journal = {Journal of Computer and System Sciences},
	author = {Köcher, Chris and Kuske, Dietrich},
	year = {2025},
	pages = {1--14}
}