Zuchriadi, A., Martana, B., Rahayu, F. and Pradana, S. 2025. Design and development of an IoT-based smart trolley with budget-limiting features to reduce queues in supermarkets. Jurnal Mantik. 9, 2 (Aug. 2025), 792-799. DOI:https://doi.org/10.35335/mantik.v8i6.6619.