Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady: The treewidth of smart contracts. SAC 2019: 400-408