APA (7th ed.) Citation

Nishida, N. (2026). Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version).

Chicago Style (17th ed.) Citation

Nishida, Naoki. Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version). 2026.

MLA (9th ed.) Citation

Nishida, Naoki. Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version). 2026.

Warning: These citations may not always be 100% accurate.