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-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.