Substituting strict equivalents

David B. Martens. Substituting strict equivalents. Journal of Logic and Computation, 29(5):753-761, 2019. [doi]

Abstract

Abstract is missing.