APA (7th ed.) Citation

Sieg, W., & Derakhshan, F. (2021). Human-Centered Automated Proof Search. Journal of Automated Reasoning, 65(8), 1153. https://doi.org/10.1007/s10817-021-09594-z

Chicago Style (17th ed.) Citation

Sieg, Wilfried, and Farzaneh Derakhshan. "Human-Centered Automated Proof Search." Journal of Automated Reasoning 65, no. 8 (2021): 1153. https://doi.org/10.1007/s10817-021-09594-z.

MLA (9th ed.) Citation

Sieg, Wilfried, and Farzaneh Derakhshan. "Human-Centered Automated Proof Search." Journal of Automated Reasoning, vol. 65, no. 8, 2021, p. 1153, https://doi.org/10.1007/s10817-021-09594-z.