21 citations to 10.1016/S0304-3975(98)00305-3 (Crossref Cited-By Service)

Stefan Hetzl, Jannik Vierling, “Unprovability results for clause set cycles”, Theoretical Computer Science, 935, 2022, 21