@misc{indiciae85d908e8b583,
  title = {Declarative Diagnosis of Floundering},
  author = {Lee Naish},
  year = {2007},
  url = {https://arxiv.org/abs/0711.0048},
  note = {Source identifier: 0711.0048}
}