Visser, A. (2005). Löb’s Logic Meets the μ-Calculus. Processes, Terms and Cycles: Steps on the Road to Infinity, 14-25. https://doi.org/10.1007/11601548_3
Chicago Style (17th ed.) CitationVisser, Albert. "Löb’s Logic Meets the μ-Calculus." Processes, Terms and Cycles: Steps on the Road to Infinity 2005: 14-25. https://doi.org/10.1007/11601548_3.
MLA (9th ed.) CitationVisser, Albert. "Löb’s Logic Meets the μ-Calculus." Processes, Terms and Cycles: Steps on the Road to Infinity, 2005, pp. 14-25, https://doi.org/10.1007/11601548_3.
Warning: These citations may not always be 100% accurate.