@misc{indiciae4a6432b2da79,
  title = {DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)},
  author = {Matt Kaufmann},
  year = {2018},
  doi = {10.4204/eptcs.280.12},
  url = {https://arxiv.org/abs/1810.05666},
  note = {Source identifier: 1810.05666}
}