Kamal Jain;S. Arun-Kumar
-;-
A logical characterization of efficiency preorders
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing