@article{speccheck,
  author = {Kevin Kappelmann and Lukas Bulwahn and Sebastian Willenbrink},
  title = {SpecCheck - Specification-Based Testing for Isabelle/ML},
  journal = {Archive of Formal Proofs},
  month = {July},
  year = {2021},
  note = {\url{https://isa-afp.org/entries/SpecCheck.html},
            Formal proof development},
  ISSN = {2150-914x},
}

@InProceedings{unif-hints,
  author = "Asperti, Andrea
    and Ricciotti, Wilmer
    and Sacerdoti Coen, Claudio
    and Tassi, Enrico",
  editor = "Berghofer, Stefan
    and Nipkow, Tobias
    and Urban, Christian
    and Wenzel, Makarius",
  title = "Hints in Unification",
  booktitle = "Theorem Proving in Higher Order Logics",
  year = "2009",
  publisher = "Springer Berlin Heidelberg",
  address = "Berlin, Heidelberg",
  pages = "84--98",
  isbn = "978-3-642-03359-9",
  doi = "10.1007/978-3-642-03359-9_8"
}
