Becker, A., Cabalar, P., Diéguez, M., Schaub, T., & Schuhmann, A. (2023). Metric Temporal Equilibrium Logic over Timed Traces.
Chicago Style (17th ed.) CitationBecker, Arvid, Pedro Cabalar, Martín Diéguez, Torsten Schaub, and Anna Schuhmann. Metric Temporal Equilibrium Logic over Timed Traces. 2023.
MLA (9th ed.) CitationBecker, Arvid, et al. Metric Temporal Equilibrium Logic over Timed Traces. 2023.
Warning: These citations may not always be 100% accurate.