APA Citation

Berger, U., & Tsuiki, H. (2022). Extracting total Amb programs from proofs. Programming Languages and Systems, 13240, pp. 85-113. doi:10.1007/978-3-030-99336-8_4

Chicago Style Citation

Berger, Ulrich, and Hideki Tsuiki. "Extracting Total Amb Programs From Proofs." Programming Languages and Systems 13240 (2022): 85-113.

MLA Citation

Berger, Ulrich, and Hideki Tsuiki. "Extracting Total Amb Programs From Proofs." Programming Languages and Systems 13240 (2022): 85-113.

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