APA (7th ed.) Citation

Bichler, M., Morak, M., Woltran, S., Hermenegildo, M., López-García, P., Pettorossi, A., & Proietti, M. (2020). lpopt: A Rule Optimization Tool for Answer Set Programming. Fundamenta Informaticae, 177(3/4), 275. https://doi.org/10.3233/FI-2020-1990

Chicago Style (17th ed.) Citation

Bichler, Manuel, Michael Morak, Stefan Woltran, Manuel Hermenegildo, Pedro López-García, Alberto Pettorossi, and Maurizio Proietti. "Lpopt: A Rule Optimization Tool for Answer Set Programming." Fundamenta Informaticae 177, no. 3/4 (2020): 275. https://doi.org/10.3233/FI-2020-1990.

MLA (9th ed.) Citation

Bichler, Manuel, et al. "Lpopt: A Rule Optimization Tool for Answer Set Programming." Fundamenta Informaticae, vol. 177, no. 3/4, 2020, p. 275, https://doi.org/10.3233/FI-2020-1990.