@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 =	{{accepted for publication in Theoretical Computer Science}},
	 month =	{November},
	 year =		{2016}
}