DOI,IST REx ID,Research Group,Title of publication
10.1145/3297280.3297322,6490,KrCh,The treewidth of smart contracts