@Inproceedings{EPTCS234.13,
  author    = {Antoy, Sergio and Hanus, Michael and Libby, Steven},
  year      = {2017},
  title     = {Proving Non-Deterministic Computations in Agda},
  editor    = {Schwarz, Sibylle and Voigtl\"ander, Janis},
  booktitle = {{\rm Proceedings 29th and 30th Workshops on}
               (Constraint) Logic Programming {\rm and 24th International Workshop on} Functional and (Constraint) Logic Programming,
               {\rm Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {234},
  publisher = {Open Publishing Association},
  pages     = {180-195},
  doi       = {10.4204/EPTCS.234.13},
}