Gas source localization (GSL) with mobile robots is a challenging task due to the unpredictable nature of gas dispersion,the limitations of the currents sensing technologies, and the mobility constraints of ground-based robots. This work proposesan integral solution for the GSL task, including source declaration. We present a novel pseudo-gradient-basedplume tracking algorithm and a particle filter-based source declaration approach, and apply it on a gas-sensitivemicro-drone. We compare the performance of the proposed system in simulations and real-world experiments againsttwo commonly used tracking algorithms adapted for aerial exploration missions.