Luís Fernando Castro, Vítor Santos Costa: Understanding Memory Management in Prolog Systems. ICLP 2001: 11-26