Results (3)

  • Extensional crisis and proving identity
    Conference paper
  • Tree interpolation in Vampire
    Conference paper