Grech, Neville Brent, Lexi Scholz, Bernhard Smaragdakis, Yannis, Gigahorse: Thorough, Declarative Decompilation of Smart Contracts, 1176-1186, 2019, IEEE Comput. Soc,