Order-invariant types and their applications
scientific article; zbMATH DE number 6570498