Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (Description Logics, 2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (CoRR, 2025)