http://reply.papertrans.cn/2/178/17730/17730-11.png
http://reply.papertrans.cn/2/178/17730/17730-12.png
Submitted on: 05 November 1999.
Revised on: 25 January 2000.
Accepted on: 08 March 2000.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 21 April 1998.
Revised on: 18 August 1998.
Accepted on: 26 September 1998.
___________________JOURNAL OF LOGIC AND COMPUTATION
Submitted on: 26 September 2022.
Revised on: 25 November 2022.
Accepted on: 13 December 2022.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17730/17730-16.png
Submitted on: 10 September 2023.
Revised on: 31 December 2023.
Accepted on: 24 February 2024.
___________________JOURNAL OF LOGIC AND COMPUTATION
http://reply.papertrans.cn/2/178/17730/17730-18.png
http://reply.papertrans.cn/2/178/17730/17730-19.png
http://reply.papertrans.cn/2/178/17730/17730-20.png