Peran lelang tanah dan/atau bangunan terhadap penerimaan perpajakan: studi kasus pada Direktorat Jenderal Kekayaan Negara, Kementerian Keuangan RI = The role of land and or building auction to tax revenue: case study in Directorate General of State Assets Management Ministry of Finance Republic of Indonesia