Michael Färber 0002 Terms for Efficient Proof Checking and Parsing. 135-147 2023 CPP https://doi.org/10.1145/3573105.3575686 conf/cpp/2023 db/conf/cpp/cpp2023.html#Farber23