chen-2023-a:
  type: chapter
  title: A Logical Framework with Higher-Order Rational (Circular) Terms
  author:
  - Chen, Zhibo
  - Pfenning, Frank
  date: 2023
  page-range: 68-88
  url: http://dx.doi.org/10.1007/978-3-031-30829-1_4
  serial-number:
    doi: 10.1007/978-3-031-30829-1_4
    isbn: '9783031308291'
    issn: 1611-3349
  parent:
    type: book
    title: Foundations of Software Science and Computation Structures
    publisher: Springer Nature Switzerland