Combining decomposition and unfolding for STG synthesis (0)

by V Khomenko, M Schaefer
Venue:in Proc. ATPN, 2007