Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete - Englert, Matthias; Lazić, Ranko; Totzke, Patrick (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016)