TY  - RPRT
TI  - Towards Relating Ciao Assertions and LPTP Theorems
AU  - Marco Pérez
AU  - Pedro López-García
AU  - Jose F. Morales
AU  - Manuel V. Hermenegildo
AU  - Fred Mesnard
PY  - 2026
DO  - 10.4204/eptcs.450.18
UR  - https://arxiv.org/abs/2607.20249
ID  - 2607.20249
ER  -