@inproceedings{incredible,
  author = {Joachim Breitner},
  title = {Visual theorem proving with the {I}ncredible {P}roof {M}achine},
  booktitle = {ITP},
  year = {2016},
}

@article{Abstract_Completeness-AFP,
  author  = {Jasmin Christian Blanchette and Andrei Popescu and Dmitriy Traytel},
  title   = {Abstract Completeness},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2014,
  note    = {\url{http://isa-afp.org/entries/Abstract_Completeness.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
