@misc{indiciae88d3d534c516,
  title = {Towards Relating Ciao Assertions and LPTP Theorems},
  author = {Marco Pérez and Pedro López-García and Jose F. Morales and Manuel V. Hermenegildo and Fred Mesnard},
  year = {2026},
  doi = {10.4204/eptcs.450.18},
  url = {https://arxiv.org/abs/2607.20249},
  note = {Source identifier: 2607.20249}
}