@InProceedings{cade21,
    author="Schurr, Hans-J{\"o}rg
        and Fleury, Mathias
        and Desharnais, Martin",
    editor="Platzer, Andr{\'e}
        and Sutcliffe, Geoff",
    title="Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant",
    booktitle="Automated Deduction -- CADE 28",
    year="2021",
    publisher="Springer International Publishing",
    address="Cham",
    pages="450--467",
    doi="10.1007/978-3-030-79876-5\_26",
    isbn="978-3-030-79876-5"
}