APA Citation

Cyrus, M., & Pattinson, D. (2021). Constructive Domains with Classical Witnesses. Logical Methods in Computer Science, 17(1), pp. 19:1-19:30. doi:10.23638/LMCS-17(1:19)2021

Chicago Style Citation

Cyrus, Mina, and Dirk Pattinson. "Constructive Domains With Classical Witnesses." Logical Methods in Computer Science 17, no. 1 (2021): 19:1-19:30.

MLA Citation

Cyrus, Mina, and Dirk Pattinson. "Constructive Domains With Classical Witnesses." Logical Methods in Computer Science 17.1 (2021): 19:1-19:30.

Warning: These citations may not always be 100% accurate.