@InProceedings{Brotherston-Gorogiannis:14,
  author    = "James Brotherston and Nikos Gorogiannis",
  title     = "Cyclic Abduction of Inductively Defined Safety and Termination Preconditions",
  booktitle = "Proceedings of {SAS-21}",
  year      = 2014,
  pages     = "68--84",
  series    = "LNCS",
  number    = 8723,
  publisher = "Springer"
}