Valdes-Toro, J. M. Contradictions in Multiverse: Translation of Paraconsistent Logic DaC into Many-Sorted Logic. LLP 2025, 1-37.