Dongning Liu, Yong Tang, Na Tang, Wei Wei, Zhi Deng. An Inference Model of Temporal Logic in an Intelligent Decision Support System of Salary. In Weiming Shen, Jano Moreira de Souza, Jean-Paul A. Barthès, Zongkai Lin, editors, Proceedings of the Seventh International Conference on CSCW in Design, CSCWD 2002, September 25-27, 2002, Rio de Janeiro, Brazil. pages 351-354, IEEE, 2002. [doi]