@inproceedings{ICML-2000-ColtonBW,
	author        = "Simon Colton and Alan Bundy and Toby Walsh",
	booktitle     = "{Proceedings of the 17th International Conference on Machine Learning}",
	isbn          = "1-55860-707-2",
	pages         = "183--190",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Automatic Identification of Mathematical Concepts}",
	year          = 2000,
}