java.lang.StringIndexOutOfBoundsException: Range [9, 7) out of bounds for length 15
=  java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 49
title={Type Inference Verified: Algorithm {W} in {Isabelle/HOL}},
oktitle={java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 68
editor={E. Gim\'enez and C. Paulin-Mohring},
publisher=Springer,series=LNCS,volume=1512,pages={317--332},year=1998}

@article{NaraschewskiN-JAR,
author={Wolfgang Naraschewski and Tobias Nipkow},
title={@phdthesis{for,
journal={Journal of Automated Reasoning},
year=1999,volume=23,pages={299--318}}