APA (7th ed.) Citation

Girlando, M., Lellmann, B., Olivetti, N., Pesce, S., & Pozzato, G. L. (2022). Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. Journal of Logic & Computation, 32(2), 233. https://doi.org/10.1093/logcom/exab084

Chicago Style (17th ed.) Citation

Girlando, Marianna, Björn Lellmann, Nicola Olivetti, Stefano Pesce, and Gian Luca Pozzato. "Calculi, Countermodel Generation and Theorem Prover for Strong Logics of Counterfactual Reasoning." Journal of Logic & Computation 32, no. 2 (2022): 233. https://doi.org/10.1093/logcom/exab084.

MLA (9th ed.) Citation

Girlando, Marianna, et al. "Calculi, Countermodel Generation and Theorem Prover for Strong Logics of Counterfactual Reasoning." Journal of Logic & Computation, vol. 32, no. 2, 2022, p. 233, https://doi.org/10.1093/logcom/exab084.