Submitted on: 27 January 2001.
Revised on: 20 May 2001.
Accepted on: 10 June 2001.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 24 August 2009.
Revised on: 07 October 2009.
Accepted on: 17 October 2009.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17731/17731-13.png
http://reply.papertrans.cn/2/178/17731/17731-14.png
Submitted on: 27 June 2018.
Revised on: 18 July 2018.
Accepted on: 05 September 2018.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17731/17731-16.png
http://reply.papertrans.cn/2/178/17731/17731-17.png
http://reply.papertrans.cn/2/178/17731/17731-18.png
http://reply.papertrans.cn/2/178/17731/17731-19.png
Submitted on: 13 February 2003.
Revised on: 29 May 2003.
Accepted on: 20 July 2003.
___________________JOURNAL OF LOGIC AND COMPUTATION