Submitted on: 13 November 2001.
Revised on: 04 January 2002.
Accepted on: 02 February 2002.
___________________Journal of Logic Language and Information
Submitted on: 10 February 2006.
Revised on: 03 May 2006.
Accepted on: 10 June 2006.
___________________Journal of Logic Language and Information
Submitted on: 08 May 2022.
Revised on: 21 June 2022.
Accepted on: 23 July 2022.
___________________Journal of Logic Language and Information
Submitted on: 07 November 2001.
Revised on: 14 January 2002.
Accepted on: 02 February 2002.
___________________Journal of Logic Language and Information
Submitted on: 22 May 2006.
Revised on: 14 June 2006.
Accepted on: 09 July 2006.
___________________Journal of Logic Language and Information
Submitted on: 02 May 2011.
Revised on: 19 August 2011.
Accepted on: 09 October 2011.
___________________Journal of Logic Language and Information
Submitted on: 19 November 2015.
Revised on: 03 March 2016.
Accepted on: 23 April 2016.
___________________Journal of Logic Language and Information
Submitted on: 18 September 2013.
Revised on: 14 January 2014.
Accepted on: 25 January 2014.
___________________Journal of Logic Language and Information
http://reply.papertrans.cn/2/178/17735/17735-19.png
http://reply.papertrans.cn/2/178/17735/17735-20.png