HUGINN
Well-Quasi Orders in Computation, Logic, Language and Reasoning — Huginn