Rohit Gurjar, Thomas Thierauf and Nisheeth Vishnoi: Isolating a Vertex via Lattices - Polytopes with Totally Unimodular Face. In: Proceedings of the 45th  International Colloquim on Automata, Languages and Programming, 2018. (ICALP 2018, Prag, 9 - 13 July 2018).