@misc{indiciaef4450ce74d52,
  title = {A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)},
  author = {Roberto Bagnara and Patricia Hill and Enea Zaffanella},
  year = {2007},
  url = {https://arxiv.org/abs/0711.0345},
  note = {Source identifier: 0711.0345}
}