Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization - Laks V. S. Lakshmanan; Karima Ashraf; Jiawei Han 001 (LICS, 1993)