//-->
Rigorous filtering using linear relaxations
Domes, Ferenc, (2012)
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Schodl, Peter, (2012)