APA   Click to copy
Bernardy, J.-P., & Jansson, P. (2016). Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Logical Methods in Computer Science, 12.

Chicago/Turabian   Click to copy
Bernardy, Jean-Philippe, and Patrik Jansson. “Certified Context-Free Parsing: A Formalisation of Valiant's Algorithm in Agda.” Logical Methods in Computer Science 12 (2016).

MLA   Click to copy
Bernardy, Jean-Philippe, and Patrik Jansson. “Certified Context-Free Parsing: A Formalisation of Valiant's Algorithm in Agda.” Logical Methods in Computer Science, vol. 12, 2016.

@article{bernardy2016a,
  title = {Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda},
  year = {2016},
  journal = {Logical Methods in Computer Science},
  volume = {12},
  author = {Bernardy, Jean-Philippe and Jansson, Patrik}
}