Weak reduction and garbage collection in interaction nets - Pinto, Jorge Sousa (2003)