APA (7th ed.) Citation

LOPEZ-GARCIA, P., DARMAWAN, L., KLEMEN, M., LIQAT, U., BUENO, F., & HERMENEGILDO, M. V. (2018). Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory & Practice of Logic Programming, 18(2), 167. https://doi.org/10.1017/S1471068418000042

Chicago Style (17th ed.) Citation

LOPEZ-GARCIA, P., L. DARMAWAN, M. KLEMEN, U. LIQAT, F. BUENO, and M. V. HERMENEGILDO. "Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption." Theory & Practice of Logic Programming 18, no. 2 (2018): 167. https://doi.org/10.1017/S1471068418000042.

MLA (9th ed.) Citation

LOPEZ-GARCIA, P., et al. "Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption." Theory & Practice of Logic Programming, vol. 18, no. 2, 2018, p. 167, https://doi.org/10.1017/S1471068418000042.