Efficient Contextual Unfolding - Rodríguez, C; Schwoon, S; Baldan, P (Proc. International Conference on Concurrency Theory (CONCUR), 2011)