Firsov, D., & Uustalu, T. (2014). Certified CYK parsing of context-free languages. Journal of logical and algebraic methods in programming, 83(5-6), 459-468. https://doi.org/10.1016/j.jlamp.2014.09.002
Chicago Style (17th ed.) CitationFirsov, Denis, and Tarmo Uustalu. "Certified CYK Parsing of Context-free Languages." Journal of Logical and Algebraic Methods in Programming 83, no. 5-6 (2014): 459-468. https://doi.org/10.1016/j.jlamp.2014.09.002.
MLA (9th ed.) CitationFirsov, Denis, and Tarmo Uustalu. "Certified CYK Parsing of Context-free Languages." Journal of Logical and Algebraic Methods in Programming, vol. 83, no. 5-6, 2014, pp. 459-468, https://doi.org/10.1016/j.jlamp.2014.09.002.
Warning: These citations may not always be 100% accurate.