Eliminating the substitution axiom from UNITY logic Beverly A. Sanders OriginalPaper Pages: 189 - 205