A Semantic Preorder on Refinement and Fairness.

Xiaowei HuangLi JiaoWeiming Lu
Published in: TASE (2007)
Keyphrases