合同解除程序：

当事人一方依法主张解除合同的，应当通知对方。合同自通知到达对方时解除;通知载明债务人在一定期限内不履行债务则合同自动解除，债务人在该期限内未履行债务的，合同自通知载明的期限届满时解除。对方对解除合同有异议的，任何一方当事人均可以请求人民法院或者仲裁机构确认解除行为的效力。

当事人一方未通知对方，直接以提起诉讼或者申请仲裁的方式依法主张解除合同，人民法院或者仲裁机构确认该主张的，合同自起诉状副本或者仲裁申请书副本送达对方时解除。

第一，返还财产。返还财产是指合同当事人在合同被确认无效和被撤销以后，对已交付给对方的财产享有返还请求权，而已经接受财产的当事人则有返还财产的义务。返还财产主要适用于已经做出履行的情况。如果当事人尚未开始履行，或者说财产尚未交付，则不适用返还财产。

第二，赔偿损失。合同被确认无效或被撤销以后，也将产生损害赔偿的责任。损害赔偿实际上包括两种情况：

一是在不能返还财产的情况下，通过损害赔偿的方法使财产关系恢复原状；

二是对合同被确认无效或被撤销以后有过错的当事人应当赔偿对方因合同无效或被撤销所遭受的损失，如果当事人双方都有过错，则应当各自承担相应的责任。

第三，行政处罚。合同无效可产生追缴财产、罚款等行政处罚。

1)及时提货的义务

收货人虽然没有直接参与货物运输合同的签订，但受承运人、托运方双方签订的货物运输合同约束，收货人应当及时提货，收货人逾期提货的，应当向承包人支付保管费等费用。收货人不及时提货的，承运人有提存货物的权利。根据《民法典》第八百三十七条的规定，在货物运输合同履行中，承运人提存货物的法定事由有两项：

一是收货人不明。这主要包括无人主张自己是收货人，通过现有证据，主要是货物运输合同也无法确认谁是收货人;以及虽有人主张自己是收货人，但根据现有证据，包括货物运输合同及主张人提供的证据，无法认定其即是收货人等情形。

二是收货人无正当理由拒绝受领货物，主要是指虽有明确的收货人，但其没有正当理由而拒绝受领货物。承运人提存运输的货物后，运输合同关系即告消灭，该货物毁损、灭失的风险由收货人承担。提存期间，货物的孳息归收货人所有，提存所生费用也均由收货人承担。

2)支付托运人未付或者少付的运费以及其他费用

一般情况下，运费由托运人在发站向承运人支付，但如果合同约定由收货人在到站支付或者托运人未支付的，收货人应支付。在运输中发生的其他费用，应由收货人支付的，收货人也必须支付。

3)收货人有在一定期限内检验货物的义务

货物运交收货人后，收货人负有对货物及时进行验收的义务。收货人应当按照约定的期限检验货物。对检验货物的期限没有约定或者约定不明确，当事人可以协议补充，不能达成补充协议的，按照合同有关条款或者交易习惯确定。仍不能确定的，应当在合理期限内检验货物。收货人在约定的期限或者合理期限内对货物的数量、毁损等未提出异议的，视为承运人已经按照运输单证的记载交付的初步证据。

抵押合同出现可撤销的情形时，影响第三人利益的，第三方可以向人民法院或者仲裁机构申请撤销抵押合同。

反担保合同的要点是：

(1)第三人向债权人提供了担保。因反担保依附于担保而存在。因此，只有第三人向债权人提供了担保，方有权要求债务人提供反担保，反担保方能成立;

(2)债务人或债务人之外的其他人向第三人提供担保;

(3)只有在第三人为债务人提供保证、抵押或质押担保时，才能要求债务人向其提供反担保;

(4)须符合法定形式，即反担保应当采用书面形式，依法需要办理登记或移交占有的，应当办理登记或转交占有手续。