@misc{indiciaef34f31944a25,
  title = {Implementing backjumping by throw/1 and catch/3 of Prolog},
  author = {Włodzimierz Drabent},
  year = {2022},
  url = {https://arxiv.org/abs/2008.09610},
  note = {Source identifier: 2008.09610}
}