Cita APA (7a ed.)

Chen, P. (2026). NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic.

Cita Chicago Style (17a ed.)

Chen, Peng. NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic. 2026.

Cita MLA (9a ed.)

Chen, Peng. NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic. 2026.