A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
scientific article; zbMATH DE number 5532864
scientific article