国际工程承包中争议解决方式一定属于法律程序的有（　）。