@inproceedings{CIKM-2018-SojkaRN,
	author        = "Petr Sojka and Michal Ruzicka and Vít Novotný",
	booktitle     = "{Proceedings of the 27th ACM International Conference on Information and Knowledge Management}",
	doi           = "10.1145/3269206.3269233",
	isbn          = "978-1-4503-6014-2",
	pages         = "1923--1926",
	publisher     = "{ACM}",
	title         = "{MIaS: Math-Aware Retrieval in Digital Mathematical Libraries}",
	year          = 2018,
}