@incollection{Adams_2015,
    doi = {10.1007/978-3-662-49224-6_6},
    url = {https://doi.org/10.1007%2F978-3-662-49224-6_6},
    year = {2015},
    publisher = {Springer Berlin Heidelberg},
    pages = {53--67},
    author = {Mark Adams},
    title = {Refactoring Proofs with Tactician},
    booktitle = {Software Engineering and Formal Methods}
}

@incollection{Adams_2015, doi = {10.1007/978-3-662-49224-6_6}, url = {https://doi.org/10.1007%2F978-3-662-49224-6_6}, year = {2015}, publisher = {Springer Berlin Heidelberg}, pages = {53--67}, author = {Mark Adams}, title = {Refactoring Proofs with Tactician}, booktitle = {Software Engineering and Formal Methods} }