@inproceedings{martin2015stumbling,
  title = "Stumbling Around in the Dark: Lessons from Everyday Mathematics",
  author = "Martin, Ursula",
  year = "2015",
  booktitle = "International Conference on Automated Deduction",
  organization = "Springer International Publishing",
  pages = "29--51",
}