Berger, U., & Petrovska, O. (2018). Optimized Program Extraction for Induction and Coinduction. Sailing Routes in the World of Computation, 10936, pp. 70-80. doi:10.1007/978-3-319-94418-0_7
Chicago Style CitationBerger, Ulrich, and Olga Petrovska. "Optimized Program Extraction for Induction and Coinduction." Sailing Routes in the World of Computation 10936 (2018): 70-80.
MLA CitationBerger, Ulrich, and Olga Petrovska. "Optimized Program Extraction for Induction and Coinduction." Sailing Routes in the World of Computation 10936 (2018): 70-80.
Warning: These citations may not always be 100% accurate.