@InProceedings{Förster2016local,
	author=	{Klaus-Tycho Förster and Thomas Lüdi and Jochen Seidel and Roger Wattenhofer},
	title=	{{Local Checkability, No Strings Attached: (A)cyclicity, Reachability, Loop Free Updates in SDNs}},
	booktitle=	{{Theoretical Computer Science (TCS)}},
	month=	{November},
	year=	{2016},
}