Well quasi-orders, unavoidable sets, and derivation systems

From MaRDI portal
Publication:3421904