(a) Filing
In any case where there has been a refusal or neglect to pay any tax, or to discharge any liability in respect thereof, whether or not levy has been made, the Attorney General or his delegate, at the request of the Secretary, may direct a civil action to be filed in a district court of the United States to enforce the lien of the United States under this title with respect to such tax or liability or to subject any property, of whatever nature, of the delinquent, or in which he has any right, title, or interest, to the payment of such tax or liability. For purposes of the preceding sentence, any acceleration of payment under section 6166(g) shall be treated as a neglect to pay tax.

(b) Parties
All persons having liens upon or claiming any interest in the property involved in such action shall be made parties thereto.

(c) Adjudication and decree
The court shall, after the parties have been duly notified of the action, proceed to adjudicate all matters involved therein and finally determine the merits of all claims to and liens upon the property, and, in all cases where a claim or interest of the United States therein is established, may decree a sale of such property, by the proper officer of the court, and a distribution of the proceeds of such sale according to the findings of the court in respect to the interests of the parties and of the United States. If the property is sold to satisfy a first lien held by the United States, the United States may bid at the sale such sum, not exceeding the amount of such lien with expenses of sale, as the Secretary directs.

(d) Receivership
In any such proceeding, at the instance of the United States, the court may appoint a receiver to enforce the lien, or, upon certification by the Secretary during the pendency of such proceedings that it is in the public interest, may appoint a receiver with all the powers of a receiver in equity.