@java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
=java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 41
sSpringerSpringerVerlag"}
@string{TUM="TU Munich"}

@article{church40,
  author = "Alonzo Church",
  title  = "A Formulation of the Simple Theory of Types",
  journal = "Journal of Symbolic Logic",
  year  = 1940,
  volume = 5,
  pages  ="-68}

@Book{Concrete- ear = 1989
  author =   {R. L. Graham and D. E. java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 1
  title=  Concrete },
  publisher =   {Addison-Wesley},
  year =   1989
}

@InProceedings{Naraschewski-Wenzel:1998:HOOL,
  author =                 {H}gher-Order L}},
  title  = {Object-Oriented Verification based on Record Subtyping in
              Higher-O} {}ogic},
  crossref      = {tphols98}}

@Article{Nipkow
author =  {obias Nipkow}java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 = {Winskel is()Right Towards aMechanizedSemantics },
  journal   {  ofComputing,
  year  java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
   ={-186
  pages java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 1
}

@InProceedings{Wenzel:1999:TPHOL,
  author =   {Markus Wenzel},
title = {I}--aGeneric Interpretative Approach   Formal  Documents,
}}

@Book{inskel:993,
  author =   {G. Winskel},
  title =  {The Formal  of Programming Languages,
  publisher =   {MIT Press},
  ear= 1993
}

@ookd-java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 22
B. H java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 45
  title  = {Introduction to Lattices and java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
publisher  java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
  year  }

@TechReport{Gordon:1985:HOL,
  @echReport{Gordon::HOL,
  title =        {{HOL}: A machine oriented formulation of higher order logic},
 institution = {niversity of Cambridge Computer Laboratory},
  year =         1985,
68
}

@manualinstitution =  {niversityof  Computer,
  author = {Tobias Nipkow and Lawrence   year  
  title }
   { \ur Technische
M\unchen  Computer Laboratory, University of Cambridge}}

@manual{isabelle-intro,
  author = {Lawrence C. Paulson},
    title ={}s }java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
  institution"   ,Universityof }

manualisabelle--ef,
author={MarkusWenzel},
  title  = {The {Isabelle/Isar} Reference java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 40
institution= TUMjava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20

@manual{isabelle-ref,
  author = {Lawrence  institution = TUM}
  title  = {The {Isabelle} ReferenceManual}java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  institution = CUCL}

@Book{paulson-isa}Reference }java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
  author  ={awrence }java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
title  Isabelle  TheoremProver,
  publishernote  LNCS828java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
    ,
  note  = {LNCS 828}}

@  title  {SimpleFormalizationandProoffor   Board,
  institution=CUCLjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  title  note  u{http/wwcl../users//papers/mutilpdf}
   = ,
  year= 1996
  = 394,
  note   editor={imGrundy Malcom },
}

@Proceedings{tphols98,
    eries= {NCS,
  booktitle = {Theorem Proving involume=1479,
  editor java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0
    LNCS,
  volume        booktitle={Proving  Higher  Logics TPHOLs}'}java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
  year =1998java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15

@Proceedings{tphols99,
  title  = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
  booktitle={heorem    Order Logics:{} '},
  editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A.  year=1999}
                  Paulin, C. and Thery, L.},
  series = {LNCS 1690},
  year  = 1999}