Determining the consistency of partial tree descriptions
scientific article; zbMATH DE number 5576663
scientific article