The Ground-Negative Fragment of First-Order Logic Is Pip 2-Complete

Andrei Voronkov

    Research output: Contribution to journalArticle

    Cite this