施工单位投标中标后，与建设单位签订合同。在施工过程中，施工单位偷工减料，使用不合格的建筑材料。建设单位多次要求其返工处理，施工单位一直未予解决，因此导致合同纠纷。下列解决纠纷方式产生的法律文书，其有强制执行效力的包括()。