APA (7th ed.) Citation

AGUADO, F., CABALAR, P., DIÉGUEZ, M., PÉREZ, G., SCHAUB, T., SCHUHMANN, A., & VIDAL, C. (2023). Linear-Time Temporal Answer Set Programming. Theory and practice of logic programming, 23(1), 2-56. https://doi.org/10.1017/S1471068421000557

Chicago Style (17th ed.) Citation

AGUADO, FELICIDAD, PEDRO CABALAR, MARTÍN DIÉGUEZ, GILBERTO PÉREZ, TORSTEN SCHAUB, ANNA SCHUHMANN, and CONCEPCIÓN VIDAL. "Linear-Time Temporal Answer Set Programming." Theory and Practice of Logic Programming 23, no. 1 (2023): 2-56. https://doi.org/10.1017/S1471068421000557.

MLA (9th ed.) Citation

AGUADO, FELICIDAD, et al. "Linear-Time Temporal Answer Set Programming." Theory and Practice of Logic Programming, vol. 23, no. 1, 2023, pp. 2-56, https://doi.org/10.1017/S1471068421000557.