@inproceedings{Rienstra:2019,
  Author = {Tjitze Rienstra},
  Title = {Ranked Programming},
  Booktitle = {Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19)},
  Year = {2019}
}