@misc{indiciae7f4e32f3dea4,
  title = {Generic Automatic Proof Tools},
  author = {Lawrence C. Paulson},
  year = {2001},
  url = {https://arxiv.org/abs/cs/9711106},
  note = {Source identifier: cs/9711106}
}