@incollection(bornat1997jape,
 author       = "Richard Bornat and Bernard Sufrin",
 year         = "1997",
 title        = "Jape: A calculator for animating proof-on-paper",
 booktitle    = "CADE-14",
 publisher    = "Springer",
 pages        = "412--415",
 doi          = "10.1007/3-540-63104-6\_41",
)
@book(rippling-book,
 author       = "A. Bundy and D. Basin and D. Hutter and A. Ireland",
 year         = "2005",
 title        = "Rippling: Meta-level Guidance for Mathematical Reasoning",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511543326",
)
@article(Burstall2000,
 author       = "R. Burstall",
 year         = "2000",
 title        = "ProveEasy: Helping people learn to do proofs",
 journal      = "ENTCS",
 volume       = "31",
 number       = "0",
 pages        = "16 -- 32",
 doi          = "10.1016/S1571-0661(05)80327-5",
)
@article(Delahaye02,
 author       = "David Delahaye",
 year         = "2002",
 title        = "{A} {P}roof {D}edicated {M}eta-{L}anguage",
 journal      = "ENTCS",
 volume       = "70",
 number       = "2",
 pages        = "96--109",
 doi          = "10.1016/S1571-0661(04)80508-5",
)
@inproceedings(paper:Dixon:03,
 author       = "Lucas Dixon and Jacques D. Fleuriot",
 year         = "2003",
 title        = "{I}sa{P}lanner: {A} {P}rototype {P}roof {P}lanner in {I}sabelle",
 booktitle    = "{CADE}-19",
 series       = "LNCS",
 volume       = "2741",
 publisher    = "Springer",
 pages        = "279--283",
 doi          = "10.1007/978-3-540-45085-6\_22",
)
@article(paper:Dixon:10,
 author       = "Lucas Dixon and Aleks Kissinger",
 year         = "2010",
 title        = "{O}pen {G}raphs and {M}onoidal {T}heories",
 journal      = "CoRR",
 volume       = "abs/1011.4114",
)
@incollection(LPAR13,
 author       = "G. Grov and A. Kissinger and Y. Lin",
 year         = "2013",
 title        = "A Graphical Language for Proof Strategies",
 booktitle    = "LPAR",
 series       = "LNCS",
 volume       = "8312",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "324--339",
 doi          = "10.1007/978-3-642-45221-5\_23",
)
@article(grov13a,
 author       = "Gudmund Grov and Ewen Maclean",
 year         = "2013",
 title        = "{T}owards {A}utomated {P}roof {S}trategy {G}eneralisation",
 journal      = "CoRR",
 volume       = "abs/1303.2975",
 url          = "http://arxiv.org/abs/1303.2975",
)
@misc(Quantomatic,
 author       = "A. Kissinger and A. Merry and L. Dixon and R. Duncan and M. Soloviev and B. Frot",
 year         = "2011",
 title        = "Quantomatic",
 howpublished = "https://sites.google.com/site/quantomatic/",
)
@inproceedings(Lowe97xbarnacle,
 author       = "Helen Lowe and David Duncan",
 year         = "1997",
 title        = "XBarnacle: Making Theorem Provers More Accessible",
 booktitle    = "CADE1-4",
 publisher    = "Springer-Verlag",
 pages        = "404--408",
 doi          = "10.1007/3-540-63104-6\_39",
)
@article(OHalloran13,
 author       = "Colin O'Halloran",
 year         = "2013",
 title        = "Automated verification of code automatically generated from Simulink.",
 journal      = "Automated Software Engineering",
 volume       = "20",
 number       = "2",
 pages        = "237--264",
 doi          = "10.1007/s10515-012-0116-5",
)
@incollection(Ozols97,
 author       = "Maris A Ozols and Anthony Cant and Katherine A Eastaughffe",
 year         = "1997",
 title        = "XIsabelle: A system description",
 booktitle    = "CADE-14",
 publisher    = "Springer",
 pages        = "400--403",
 doi          = "10.1007/3-540-63104-6\_38",
)
@article(SiekmannHBCFHKKMMPS99,
 author       = "J{\"o}rg H. Siekmann and Stephan M. Hess and Christoph Benzm{\"u}ller and Lassaad Cheikhrouhou and Armin Fiedler and Helmut Horacek and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Martin Pollet and Volker Sorge",
 year         = "1999",
 title        = "{LOUI}: {L}ovely {OMEGA} {U}ser {I}nterface",
 journal      = "Formal Asp. Comput",
 volume       = "11",
 number       = "3",
 pages        = "326--342",
 doi          = "10.1007/s001650050053",
)