ByNobleID
    Deduction and Search Strategies for Regular Multiple-Valued Logics* | NobleID