Linear-Time Temporal Answer Set Programming.

MLA

Aguado, Felicidad, et al. “Linear-Time Temporal Answer Set Programming.” Theory & Practice of Logic Programming, vol. 23, no. 1, Jan. 2023, pp. 2–56. EBSCOhost, https://doi.org/10.1017/S1471068421000557.

APA

Aguado, F., Cabalar, P., Diéguez, M., Pérez, G., Schaub, T., Schuhmann, A., & Vidal, C. (2023). Linear-Time Temporal Answer Set Programming. Theory & Practice of Logic Programming, 23(1), 2–56. https://doi.org/10.1017/S1471068421000557

Chicago

Aguado, Felicidad, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, and Concepción Vidal. 2023. “Linear-Time Temporal Answer Set Programming.” Theory & Practice of Logic Programming 23 (1): 2–56. doi:10.1017/S1471068421000557.