APA (7th ed.) Citation

Diéguez, M., Hahn, S., Schaub, T., & Stéphan, I. (2026). Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics.

Chicago Style (17th ed.) Citation

Diéguez, Martín, Susana Hahn, Torsten Schaub, and Igor Stéphan. Reducing Arbitrary Metric Temporal Formulas into Logic Programs Under Answer Set Semantics. 2026.

MLA (9th ed.) Citation

Diéguez, Martín, et al. Reducing Arbitrary Metric Temporal Formulas into Logic Programs Under Answer Set Semantics. 2026.