http://reply.papertrans.cn/2/178/17735/17735-21.png
Submitted on: 03 June 2002.
Revised on: 21 July 2002.
Accepted on: 05 September 2002.
___________________Journal of Logic Language and Information
http://reply.papertrans.cn/2/178/17735/17735-23.png
Submitted on: 19 March 2000.
Revised on: 12 June 2000.
Accepted on: 28 June 2000.
___________________Journal of Logic Language and Information
http://reply.papertrans.cn/2/178/17735/17735-25.png
Submitted on: 18 June 2009.
Revised on: 01 October 2009.
Accepted on: 12 November 2009.
___________________Journal of Logic Language and Information
Submitted on: 01 March 2011.
Revised on: 26 March 2011.
Accepted on: 16 May 2011.
___________________Journal of Logic Language and Information
http://reply.papertrans.cn/2/178/17735/17735-28.png
Submitted on: 14 September 1998.
Revised on: 03 December 1998.
Accepted on: 17 January 1999.
___________________Journal of Logic Language and Information
http://reply.papertrans.cn/2/178/17735/17735-30.png