http://reply.papertrans.cn/2/178/17730/17730-21.png
http://reply.papertrans.cn/2/178/17730/17730-22.png
http://reply.papertrans.cn/2/178/17730/17730-23.png
Submitted on: 10 September 2019.
Revised on: 02 January 2020.
Accepted on: 18 February 2020.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 10 August 1999.
Revised on: 19 September 1999.
Accepted on: 04 October 1999.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17730/17730-26.png
Submitted on: 16 July 2012.
Revised on: 06 November 2012.
Accepted on: 25 December 2012.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 14 November 2005.
Revised on: 24 January 2006.
Accepted on: 15 March 2006.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 09 March 2011.
Revised on: 14 June 2011.
Accepted on: 21 July 2011.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17730/17730-30.png