Submitted on: 01 May 2006.
Revised on: 19 June 2006.
Accepted on: 12 July 2006.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-22.png
Submitted on: 21 December 1999.
Revised on: 26 February 2000.
Accepted on: 23 March 2000.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-24.png
http://reply.papertrans.cn/2/178/17736/17736-25.png
Submitted on: 17 July 2013.
Revised on: 30 October 2013.
Accepted on: 27 December 2013.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-27.png
Submitted on: 29 August 2015.
Revised on: 29 September 2015.
Accepted on: 04 November 2015.
___________________Journal of Logical and Algebraic Methods in Programming
Submitted on: 16 March 2013.
Revised on: 11 July 2013.
Accepted on: 19 August 2013.
___________________Journal of Logical and Algebraic Methods in Programming
Submitted on: 01 August 2012.
Revised on: 15 October 2012.
Accepted on: 26 November 2012.
___________________Journal of Logical and Algebraic Methods in Programming