Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings | IEEE Conference Publication | IEEE Xplore