J. M. Valdes-Toro, “Contradictions in Multiverse: Translation of Paraconsistent Logic daC into Many-Sorted Logic”, LLP, pp. 1–37, Sep. 2025.