carette-2020-leveraging:
  type: article
  title: Leveraging the Information Contained in Theory Presentations
  author:
  - Carette, Jacques
  - Farmer, William M.
  - Sharoda, Yasmine
  date: 2020-07
  page-range: 55-70
  serial-number:
    doi: 10.1007/978-3-030-53518-6_4
  parent:
    type: proceedings
    title: Intelligent Computer Mathematics
    publisher: Springer International Publishing