APA (7th ed.) Citation

Wild, M. (2017). The joy of implications, aka pure Horn formulas: Mainly a survey. Theoretical computer science, 658, 264-292. https://doi.org/10.1016/j.tcs.2016.03.018

Chicago Style (17th ed.) Citation

Wild, Marcel. "The Joy of Implications, Aka Pure Horn Formulas: Mainly a Survey." Theoretical Computer Science 658 (2017): 264-292. https://doi.org/10.1016/j.tcs.2016.03.018.

MLA (9th ed.) Citation

Wild, Marcel. "The Joy of Implications, Aka Pure Horn Formulas: Mainly a Survey." Theoretical Computer Science, vol. 658, 2017, pp. 264-292, https://doi.org/10.1016/j.tcs.2016.03.018.