@inproceedings{carette-2020-leveraging,
  author = {Jacques Carette and William M. Farmer and Yasmine Sharoda},
  title = {Leveraging the Information Contained in Theory Presentations},
  booktitle = {Intelligent Computer Mathematics},
  publisher = {Springer International Publishing},
  year = {2020},
  month = {7},
  pages = {55--70},
  doi = {10.1007/978-3-030-53518-6_4}
}