ByNobleID
    Non-commutative logic: A survey | NobleID