@article{chen-2025-colf, title={CoLF Logic Programming as Infinitary Proof Exploration}, volume={431}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.431.3}, DOI={10.4204/eptcs.431.3}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Chen, Zhibo and Pfenning, Frank}, year={2025}, month=Oct, pages={34–41} }