APA (7th ed.) Citation

HOOS, H., LINDAUER, M., & SCHAUB, T. (2014). claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Theory and practice of logic programming, 14(4-5), 569-585. https://doi.org/10.1017/S1471068414000210

Chicago Style (17th ed.) Citation

HOOS, HOLGER, MARIUS LINDAUER, and TORSTEN SCHAUB. "Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 569-585. https://doi.org/10.1017/S1471068414000210.

MLA (9th ed.) Citation

HOOS, HOLGER, et al. "Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming." Theory and Practice of Logic Programming, vol. 14, no. 4-5, 2014, pp. 569-585, https://doi.org/10.1017/S1471068414000210.