@misc{indiciaeb0b62925db12,
  title = {A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging},
  author = {Lisa J. Burnell and Eric J. Horvitz},
  year = {2013},
  url = {https://arxiv.org/abs/1303.1488},
  note = {Source identifier: 1303.1488}
}