Mahdoum, A. “P ¹ NP: A Formal Proof”. International Journal of Emerging Trends in Science and Technology, May 2024, doi:10.18535/ijetst/v2024.04.