TABLEAUX Online, Das, A., & Negri, S. (2021). Automated reasoning with analytic tableaux and related methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Springer International Publishing.
Chicago Style (17th ed.) CitationTABLEAUX Online, Anupam Das, and Sara Negri. Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Cham: Springer International Publishing, 2021.
MLA (9th ed.) CitationTABLEAUX Online, et al. Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Springer International Publishing, 2021.
Warning: These citations may not always be 100% accurate.