"Making Variables Abstract: An Equational Theory for Russell."

Alan J. Demers, James E. Donahue (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics