As modalidades de licitação, de acordo com a Lei nº 8.666/1993, utilizadas para alienação de bens imóveis da Administração Pública, cuja aquisição haja derivado de procedimentos judiciais ou de dação em pagamento, são: