Quoc Huy Do, Eduard Kamburjan, Nathan Wasser: Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. POST 2016: 97-115