chen-2025-colf:
  type: article
  title: CoLF Logic Programming as Infinitary Proof Exploration
  author:
  - Chen, Zhibo
  - Pfenning, Frank
  date: 2025-10
  page-range: 34-41
  url: http://dx.doi.org/10.4204/eptcs.431.3
  serial-number:
    doi: 10.4204/eptcs.431.3
    issn: 2075-2180
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 431