Alex Citkin2025-02-252025-02-252024jz000117-0006https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10652An Algebraic Proof of the Nishimura TheoremArticlehttps://doi.org/10.3390/logics2040007