Michael Färber: Terms for Efficient Proof Checking and Parsing. CPP 2023: 135-147