APA (7th ed.) Citation

Drabent, W. (2023). A relaxed condition for avoiding the occur-check. Theoretical computer science, 975, 114107. https://doi.org/10.1016/j.tcs.2023.114107

Chicago Style (17th ed.) Citation

Drabent, Włodzimierz. "A Relaxed Condition for Avoiding the Occur-check." Theoretical Computer Science 975 (2023): 114107. https://doi.org/10.1016/j.tcs.2023.114107.

MLA (9th ed.) Citation

Drabent, Włodzimierz. "A Relaxed Condition for Avoiding the Occur-check." Theoretical Computer Science, vol. 975, 2023, p. 114107, https://doi.org/10.1016/j.tcs.2023.114107.