Publications - Current Year

  1. Article
    RG1
    “Mechanical Mathematicians,” Communications of the ACM, vol. 66, no. 4, 2023.
  2. Article
    RG1
    “Superposition for Higher-Order Logic,” Journal of Automated Reasoning, vol. 67, no. 1, 2023.
  3. Article
    RG1
    “Given Clause Loops,” Archive of Formal Proofs, 2023.
  4. Paper
    RG1
    “SCL(FOL) Revisited,” 2023. [Online]. Available: https://arxiv.org/abs/2302.05954.
  5. Paper
    RG1
    “Explicit Model Construction for Saturated Constrained Horn Clauses,” 2023. [Online]. Available: https://arxiv.org/abs/2305.05064.
  6. Article
    RG1
    “Unifying Splitting,” Journal of Automated Reasoning, vol. 67, no. 2, 2023.
  7. Thesis
    RG1
    “On a Notion of Abduction and Relevance for First-Order Logic Clause Sets,” Universität des Saarlandes, Saarbrücken, 2023.
  8. Article
    RG1
    “SCL(EQ): SCL for First-Order Logic with Equality,” Journal of Automated Reasoning, vol. 67, 2023.
  9. Article
    RG1
    “The 11th IJCAR automated theorem proving system competition – CASC-J11,” AI Communications, vol. 36, no. 2, 2023.