A Logical Characterization of Efficiency Preorders. - Neelesh Korade; S. Arun-Kumar (ICTAC, 2004)