@misc{indiciae4903114b8c25,
  title = {Meta-extract: Using Existing Facts in Meta-reasoning},
  author = {Matt Kaufmann and Sol Swords},
  year = {2017},
  doi = {10.4204/eptcs.249.4},
  url = {https://arxiv.org/abs/1705.01227},
  note = {Source identifier: 1705.01227}
}