http://reply.papertrans.cn/3/211/21024/21024-31.png
http://reply.papertrans.cn/3/211/21024/21024-32.png
http://reply.papertrans.cn/3/211/21024/21024-33.png
http://reply.papertrans.cn/3/211/21024/21024-34.png
Submitted on: 22 April 2000.
Revised on: 02 June 2000.
Accepted on: 12 June 2000.
Logical Methods in Computer Science
Submitted on: 12 June 2006.
Revised on: 26 June 2006.
Accepted on: 02 July 2006.
Logical Methods in Computer Science