Victor Khomenko Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. 137-146 2007 conf/acsd/2007 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.48 db/conf/acsd/acsd2007.html#Khomenko07