@InCollection{    AhrendtGrebing16,
  author        = {Wolfgang Ahrendt and Sarah Grebing},
  title         = {Using the {Ke\kern-0.1emY} Prover},
  booktitle     = {Deductive Software Verification---The Ke\kern-0.1emY Book},
  series	= "LNCS",
  year		= {2016},
  volume        = {10001},
  publisher     = "Springer"
}