APA (7th ed.) Citation

SpringerLink (Online service), Ramanayake, R., & Urban, J. (2023). Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-43513-3

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Revantha Ramanayake, and Josef Urban. Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-43513-3.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-43513-3.