@misc{indiciaee41d0d75342e,
  title = {Source-to-source optimizing transformations of Prolog programs based on abstract interpretation},
  author = {Francois Gobert and Baudouin Le Charlier},
  year = {2007},
  url = {https://arxiv.org/abs/0710.5895},
  note = {Source identifier: 0710.5895}
}