APA (7th ed.) Citation

Forster, J., Schröder, L., Wild, P., König, B., & Nora, P. (2026). Computing Distinguishing Formulae for Threshold-Based Behavioural Distances.

Chicago Style (17th ed.) Citation

Forster, Jonas, Lutz Schröder, Paul Wild, Barbara König, and Pedro Nora. Computing Distinguishing Formulae for Threshold-Based Behavioural Distances. 2026.

MLA (9th ed.) Citation

Forster, Jonas, et al. Computing Distinguishing Formulae for Threshold-Based Behavioural Distances. 2026.