@misc{indiciae7c553f21cc0a,
  title = {Constraint Learning for Non-confluent Proof Search},
  author = {Michael Rawson and Clemens Eisenhofer and Laura Kovács},
  year = {2026},
  doi = {10.1007/978-3-032-06085-3\_6},
  url = {https://arxiv.org/abs/2603.05258},
  note = {Source identifier: 2603.05258}
}