Drabent, W. (2021, September 17). A Note on Occur-Check. arXiv.org. https://doi.org/10.48550/arxiv.2109.08278
Chicago-Zitierstil (17. Ausg.)Drabent, Włodzimierz. "A Note on Occur-Check." ArXiv.org 17 Sep. 2021. https://doi.org/10.48550/arxiv.2109.08278.
MLA-Zitierstil (9. Ausg.)Drabent, Włodzimierz. "A Note on Occur-Check." ArXiv.org, 17 Sep. 2021, https://doi.org/10.48550/arxiv.2109.08278.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.