APA (7th ed.) Citation

Coumes, S., Paris, P., Schwarzentruber, F., & Suchanek, F. (2026). Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality.

Chicago Style (17th ed.) Citation

Coumes, Simon, Pierre-Henri Paris, François Schwarzentruber, and Fabian Suchanek. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. 2026.

MLA (9th ed.) Citation

Coumes, Simon, et al. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. 2026.