21 citations to 10.1016/S0304-3975(98)00305-3 (Crossref Cited-By Service)
  1. Stefan Hetzl, Jannik Vierling, “Unprovability results for clause set cycles”, Theoretical Computer Science, 935, 2022, 21  crossref
Previous
1
2
3