ByNobleID
    Structural and universal completeness in algebra and logic | NobleID