Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou. OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 1078-1083, IEEE Computer Society, 2007. [doi]
Abstract is missing.