Submitted on: 21 June 1998.
Revised on: 13 September 1998.
Accepted on: 04 November 1998.
___________________Journal of Logical and Algebraic Methods in Programming
Submitted on: 12 September 2008.
Revised on: 06 November 2008.
Accepted on: 11 December 2008.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17737/17737-23.png
http://reply.papertrans.cn/2/178/17737/17737-24.png
http://reply.papertrans.cn/2/178/17737/17737-25.png
Submitted on: 31 October 2000.
Revised on: 05 December 2000.
Accepted on: 25 January 2001.
___________________Journal of Logical and Algebraic Methods in Programming
Submitted on: 22 February 2010.
Revised on: 12 June 2010.
Accepted on: 06 July 2010.
___________________Journal of Logical and Algebraic Methods in Programming
Submitted on: 21 January 2025.
Revised on: 16 April 2025.
Accepted on: 18 May 2025.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17737/17737-29.png
http://reply.papertrans.cn/2/178/17737/17737-30.png