@InProceedings{Rowe-Brotherston:17-2,
  author    = "Reuben N. S. Rowe and James Brotherston",
  title     = "Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent",
  booktitle = "Proceedings of {TABLEAUX-26}",
  series    = "LNCS",
  volume    = 10501,
  pages     = "295--310",
  publisher = "Springer",
  year      = 2017
}