On well-quasi-ordering finite structures with labels

From MaRDI portal
Publication:912875