Cita APA (7a ed.)

Nishida, N., Kojima, M., & Nakamura, Y. (2025). Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version).

Cita Chicago Style (17a ed.)

Nishida, Naoki, Misaki Kojima, y Yuto Nakamura. Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version). 2025.

Cita MLA (9a ed.)

Nishida, Naoki, et al. Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version). 2025.