@misc{indiciaeab1adc92f5f3,
  title = {Abductive functional programming, a semantic approach},
  author = {Koko Muroya and Steven Cheung and Dan R. Ghica},
  year = {2017},
  url = {https://arxiv.org/abs/1710.03984},
  note = {Source identifier: 1710.03984}
}