如果在先买方明确主张在后合同无效，有关程序问题有待探讨：
（1）案由
笔者认为案由应是合同纠纷而非侵权纠纷。在先买方对于在后合同的无效主张，仅仅是一个手段，服务于依据在先合同获得房屋所有权这一最终目的。因为标的同一，因此前后两个合同的目的是互相排斥的。而且在后合同已经履行，在后买方已经获得房屋所有权。如果在先买方还想获得房屋所有权的话，就必须主张在后合同无效，从而基于无效合同法律后果中“返还原物”的条款，使房屋所有权复归卖方，然后再要求卖方以实际继续履行合同的方式承担违约责任。这是在先买方获得房屋所有权的唯一手段，除此之外别无他途。既然其真正用意在于要求卖方履行在先合同，案由当然应当是合同纠纷了。
（2）当事人的确定
当事人的确定只能以案由为基础。由于案由是合同纠纷，因此被告只能是卖方，在后买方与原告之间并无合同关系，当然也就不可能成为该合同纠纷的被告。在后买方的法律地位只能是无独立请求权的第三人。他与案件的处理结果有着必然的利害关系。如果原告胜诉，在后买方将被迫失去房屋所有权；而如果原告败诉，如被告有合法的抗辩，则在后买方的房屋所有权可保无忧。
（3）举证责任
一方当事人在行使该项权利时，必须负担证明出卖人与第三人恶意串通的举证责任。
（4）在后买方的利益保护
如果在先买方主张在后合同无效并获法院支持，在后买方将被迫归还房屋于卖方并由卖方以承担违约责任的方法交付并过户给在先买方。在后买方的利益在于他有权要求卖方返还购房款。那么，他是否需要另行提出该诉讼请求呢？笔者认为不需要。因为法院一旦认定在后合同无效，就必然要按照原告即在先买方的请求判令在后合同的当事人各自返还房屋和价款。这是原告诉讼请求所包含的必然结果，在后买方没有必要另行请求。
