International Conference on Nondestructive Testing.International conference on Nondestructive Testing (7th : 1973)．V.6，Ultrasonic testing of welds.,1973.
Kleine Buning, H.,Zhao, Xishun..Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /.Springer,,c2008..
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
