MathWebSearch at NTCIR-11. - Radu Hambasan; Michael Kohlhase; Corneliu-Claudiu Prodescu (NTCIR, 2014)

Faceted Search for Mathematics. - Radu Hambasan; Michael Kohlhase (MACIS, 2015)