Introduction to Formal Preference Spaces. - Eliza Niewiadomska; Adam Grabowski (Formaliz. Math., 2013)