@InProceedings{Far22,
    Author       = "F{\"a}rber, M.",
    Year         = "2022",
    Title        = "{Safe, Fast, Concurrent Proof Checking for the lambda-pi Calculus Modulo
                    Rewriting}",
    Editor       = "Popescu,A. and Zdancewic, S.",
    BookTitle    = "{Proceedings of the 11th International Conference on Certified Programs and
                    Proofs}",
    Place        = "Philadelphia, USA",
    Pages        = "225-238",
    Publisher    = "Association for Computing Machinery",
    Comment      = ""
}