On the Correctness of Bubbling. - Sergio Antoy; Daniel W. Brown; Su-Hui Chiang (RTA, 2006)

Lazy Context Cloning for Non-Deterministic Graph Rewriting. - Sergio Antoy; Daniel W. Brown; Su-Hui Chiang (TERMGRAPH@ETAPS, 2006)