A Complete Axiomatization of Strict Equality | Publicación