ByNobleID
    Sobre correspondencias entre fórmulas cuantificadas monádicas y productos de fórmulas no cuantificadas | NobleID