Efficient Contextual Unfolding (Proc. International Conference on Concurrency Theory (CONCUR), 2011)

(untitled) - Rodríguez, C; Schwoon, S; Baldan, P