http://reply.papertrans.cn/2/178/17736/17736-11.png
http://reply.papertrans.cn/2/178/17736/17736-12.png
Submitted on: 31 December 2010.
Revised on: 19 March 2011.
Accepted on: 09 April 2011.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-14.png
http://reply.papertrans.cn/2/178/17736/17736-15.png
http://reply.papertrans.cn/2/178/17736/17736-16.png
Submitted on: 15 July 2022.
Revised on: 16 October 2022.
Accepted on: 07 December 2022.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-18.png
Submitted on: 22 January 2024.
Revised on: 18 April 2024.
Accepted on: 15 May 2024.
___________________Journal of Logical and Algebraic Methods in Programming
http://reply.papertrans.cn/2/178/17736/17736-20.png