APA (7th ed.) Citation

Meyer, R., Tepe, J., & Wolff, S. (2024). Realizability in Semantics-Guided Synthesis Done Eagerly.

Chicago Style (17th ed.) Citation

Meyer, Roland, Jakob Tepe, and Sebastian Wolff. Realizability in Semantics-Guided Synthesis Done Eagerly. 2024.

MLA (9th ed.) Citation

Meyer, Roland, et al. Realizability in Semantics-Guided Synthesis Done Eagerly. 2024.