Title: Canonical simplification of finite objects, well quasi-ordered by tree embedding
Subjects: Directed graphs, Embeddings (Mathematics), Lambda calculus, Trees (Graph theory)