Nominal logic, a first order theory of names and binding
scientific article; zbMATH DE number 2118416
scientific article