@Inbook{Linker2017,
author="Linker, Sven",
editor="Polikarpova, Nadia
and Schneider, Steve",
title="Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL",
bookTitle="Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings",
year="2017",
publisher="Springer International Publishing",
pages="34--49",
doi="10.1007/978-3-319-66845-1_3",
url="https://doi.org/10.1007/978-3-319-66845-1_3"
}

@inproceedings{Hilscher2011,
  title={An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
  author={Hilscher, M. and Linker, S. and Olderog, E.R. and Ravn, A.},
  booktitle={ICFEM},
  pages={404-419},
  year={2011},
  organization={Springer},
  volume={6991},
  series = {LNCS},
}

@article{Linker2015a,
 volume = 11,
 number= 3,
 journal = {LMCS},
 year = {2015},
 title = {Proof theory of a multi-lane spatial logic},
  author={Linker, S. and Hilscher, M.}
}

@phdthesis{Linker2015b,
 author={S. Linker},
 title = {Proofs for Traffic Safety: Combining Diagrams and Logic},
 school = {University of Oldenburg},
 note = {\url{http://oops.uni-oldenburg.de/2337/}}, 
 year = {2015}
}

@book{Brauner2010,
  title={Hybrid logic and its proof-theory},
  author={Bra{\"u}ner, Torben},
  year={2010},
  publisher={Springer}
}
