Formalization of contextual reasoning for information retrieval. - Giuseppe Amedeo (2012)