@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" }