CoLF Logic Programming as Infinitary Proof Exploration. - Zhibo Chen; Frank Pfenning (CoRR, 2025)