Author: Nev.) International Conference on Foundations of Computer Science (2017 Las Vegas