@inbook{chen-2023-a, title={A Logical Framework with Higher-Order Rational (Circular) Terms}, ISBN={9783031308291}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-30829-1_4}, DOI={10.1007/978-3-031-30829-1_4}, booktitle={Foundations of Software Science and Computation Structures}, publisher={Springer Nature Switzerland}, author={Chen, Zhibo and Pfenning, Frank}, year={2023}, pages={68–88} }