Ivanov, I. (2025). Modified version of a formal proof of completeness of the decreasing diagrams method for proving confluence of relations of the least uncountable cardinality. Zenodo.
Chicago Style (17th ed.) CitationIvanov, Ievgen. Modified Version of a Formal Proof of Completeness of the Decreasing Diagrams Method for Proving Confluence of Relations of the Least Uncountable Cardinality. Zenodo, 2025.
MLA (9th ed.) CitationIvanov, Ievgen. Modified Version of a Formal Proof of Completeness of the Decreasing Diagrams Method for Proving Confluence of Relations of the Least Uncountable Cardinality. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.