APA (7th ed.) Citation

Pavlinovic, Z., King, T., & Wies, T. (2015, August 27). On Practical SMT-Based Type Error Localization. arXiv.org.

Chicago Style (17th ed.) Citation

Pavlinovic, Zvonimir, Tim King, and Thomas Wies. "On Practical SMT-Based Type Error Localization." ArXiv.org 27 Aug. 2015.

MLA (9th ed.) Citation

Pavlinovic, Zvonimir, et al. "On Practical SMT-Based Type Error Localization." ArXiv.org, 27 Aug. 2015.